Sergiy A. Vilkomir

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Inf. Softw. Technol. 51 (2) (2009)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. 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)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
Software Input Space Modeling with Constraints among Parameters. COMPSAC (1) (2009)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
Combinatorial Test Case Selection with Markovian Usage Models. ITNG (2008)
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
Computer systems availability evaluation using a segregated failures model. Qual. Reliab. Eng. Int. 24 (4) (2008)
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)
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)
David Lorge Parnas, Sergiy A. Vilkomir
Precise Documentation of Critical Software. HASE (2007)
Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose
Formalization and assessment of regulatory requirements for safety-critical software. Innov. Syst. Softw. Eng. 2 (3-4) (2006)
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
Segregated failures model for availability evaluation of fault-tolerant systems. ACSC (2006)
Sergiy A. Vilkomir, Jonathan P. Bowen
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Aspects Comput. 18 (1) (2006)
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic
Specification of Software Component Requirements Using the Trace Function Method. ICSEA (2006)
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE (2005)
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. COMPSAC (1) (2005)
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)
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna
Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference (2004)
Sergiy A. Vilkomir, Aditya K. Ghose
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES (2004)
Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose
A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) (2004)
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
Co-Evolution of Complementary Formal and Informal Requirements. IWPSE (2004)
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
Tolerance of Control-Flow Testing Criteria. COMPSAC (2003)
Sergiy A. Vilkomir, Jonathan P. Bowen
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB (2002)
Sergiy A. Vilkomir, Jonathan P. Bowen
Formalization of Software Testing Criteria using the Z Notation. COMPSAC (2001)