2009 |
20 | EE | 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. 41(2): (2009) |
2008 |
19 | EE | 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: 240-270 |
18 | EE | Sergiy A. Vilkomir,
W. Thomas Swain,
Jesse H. Poore,
Kevin T. Clarno:
Modeling Input Space for Testing Scientific Computational Software: A Case Study.
ICCS (3) 2008: 291-300 |
17 | EE | Sergiy A. Vilkomir,
W. Thomas Swain,
Jesse H. Poore:
Combinatorial Test Case Selection with Markovian Usage Models.
ITNG 2008: 3-8 |
16 | EE | 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. 24(4): 447-465 (2008) |
2007 |
15 | EE | David Lorge Parnas,
Sergiy A. Vilkomir:
Precise Documentation of Critical Software.
HASE 2007: 237-244 |
2006 |
14 | EE | Sergiy A. Vilkomir,
David Lorge Parnas,
Veena B. Mendiratta,
Eamonn Murphy:
Segregated failures model for availability evaluation of fault-tolerant systems.
ACSC 2006: 55-61 |
13 | EE | Colm Quinn,
Sergiy A. Vilkomir,
David Lorge Parnas,
Srdjan Kostic:
Specification of Software Component Requirements Using the Trace Function Method.
ICSEA 2006: 50 |
12 | EE | Sergiy A. Vilkomir,
Jonathan P. Bowen:
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Formal Asp. Comput. 18(1): 42-62 (2006) |
11 | EE | Sergiy A. Vilkomir,
Jonathan P. Bowen,
Aditya K. Ghose:
Formalization and assessment of regulatory requirements for safety-critical software.
ISSE 2(3-4): 165-178 (2006) |
2005 |
10 | EE | Sergiy A. Vilkomir,
David Lorge Parnas,
Veena B. Mendiratta,
Eamonn Murphy:
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.
COMPSAC (1) 2005: 473-478 |
9 | EE | Robert L. Baber,
David Lorge Parnas,
Sergiy A. Vilkomir,
Paul Harrison,
Tony O'Connor:
Disciplined Methods of Software Specification: A Case Study.
ITCC (2) 2005: 428-437 |
8 | | Aneesh Krishna,
Aditya K. Ghose,
Sergiy A. Vilkomir:
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.
SEKE 2005: 455-460 |
2004 |
7 | EE | Sergiy A. Vilkomir,
Aditya K. Ghose,
Aneesh Krishna:
Combining Agent-Oriented Conceptual Modelling with Formal Methods.
Australian Software Engineering Conference 2004: 147-157 |
6 | | Aneesh Krishna,
Sergiy A. Vilkomir,
Aditya K. Ghose:
A Case Study of Combining I* Framework and the Z Notation.
ICEIS (3) 2004: 192-200 |
5 | EE | Aneesh Krishna,
Aditya K. Ghose,
Sergiy A. Vilkomir:
Co-Evolution of Complementary Formal and Informal Requirements.
IWPSE 2004: 159-164 |
4 | EE | Sergiy A. Vilkomir,
Aditya K. Ghose:
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.
PROFES 2004: 523-537 |
2003 |
3 | EE | Sergiy A. Vilkomir,
Kalpesh Kapoor,
Jonathan P. Bowen:
Tolerance of Control-Flow Testing Criteria.
COMPSAC 2003: 182-187 |
2002 |
2 | EE | Sergiy A. Vilkomir,
Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
ZB 2002: 291-308 |
2001 |
1 | EE | Sergiy A. Vilkomir,
Jonathan P. Bowen:
Formalization of Software Testing Criteria using the Z Notation.
COMPSAC 2001: 351-356 |