|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 41 occurrences of 26 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing.  |
ACM Comput. Surv.  |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose |
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore |
Software Input Space Modeling with Constraints among Parameters. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy |
Computer systems availability evaluation using a segregated failures model. |
Quality and Reliability Eng. Int. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore |
Combinatorial Test Case Selection with Markovian Usage Models. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
input parameters, software testing, Markov chain, test case generation, test case selection |
| 1 | Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno |
Modeling Input Space for Testing Scientific Computational Software: A Case Study. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lorge Parnas, Sergiy A. Vilkomir |
Precise Documentation of Critical Software. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
testing, specifications, documentation, critical software |
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC |
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose |
Formalization and assessment of regulatory requirements for safety-critical software. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Regulatory requirements, Formal methods, Certification, Z notation |
| 1 | Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic |
Specification of Software Component Requirements Using the Trace Function Method. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy |
Segregated failures model for availability evaluation of fault-tolerant systems. |
ACSC |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, reliability, software, availability, recovery, failures model |
| 1 | Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy |
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, reliability, software, availability, fault model, recovery |
| 1 | Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir |
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor |
Disciplined Methods of Software Specification: A Case Study. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
tabular specifications, trace specifications, software, finite state machine, traces |
| 1 | Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose |
A Case Study of Combining I* Framework and the Z Notation. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna |
Combining Agent-Oriented Conceptual Modelling with Formal Methods. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir |
Co-Evolution of Complementary Formal and Informal Requirements. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Aditya K. Ghose |
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. |
PROFES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
Tolerance of Control-Flow Testing Criteria. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC |
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Formalization of Software Testing Criteria using the Z Notation. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
coverage, Z notation, testing criteria, MC/DC |
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")