Sergiy A. Vilkomir

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)

Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information & Software Technology 51(2): 478-496 (2009)

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore: Software Input Space Modeling with Constraints among Parameters. COMPSAC (1) 2009: 136-141

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)

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

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

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore: Combinatorial Test Case Selection with Markovian Usage Models. ITNG 2008: 3-8

David Lorge Parnas, Sergiy A. Vilkomir: Precise Documentation of Critical Software. HASE 2007: 237-244

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)

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)

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

Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic: Specification of Software Component Requirements Using the Trace Function Method. ICSEA 2006: 50

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

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

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna: Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157

Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164

Sergiy A. Vilkomir, Aditya K. Ghose: Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537

Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187

Sergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308

Sergiy A. Vilkomir, Jonathan P. Bowen: Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356