Sergiy A. Vilkomir

22 papers B 3C 2Journal 5Unranked 12
YearRankTypeTitle / Venue / Authors
2009 J jnl
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.
Inf. Softw. Technol.
Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose
2009 — conf
Software Input Space Modeling with Constraints among Parameters.
COMPSAC (1)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
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
2008 — conf
Combinatorial Test Case Selection with Markovian Usage Models.
ITNG
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore
2008 J jnl
Computer systems availability evaluation using a segregated failures model.
Qual. Reliab. Eng. Int.
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2008 — conf
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
Formal Methods and Testing
Sergiy A. Vilkomir, Jonathan P. Bowen
2008 — conf
Modeling Input Space for Testing Scientific Computational Software: A Case Study.
ICCS (3)
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno
2007 — conf
Precise Documentation of Critical Software.
HASE
David Lorge Parnas, Sergiy A. Vilkomir
2006 J jnl
Formalization and assessment of regulatory requirements for safety-critical software.
Innov. Syst. Softw. Eng.
Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose
2006 J jnl
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Formal Aspects Comput.
Sergiy A. Vilkomir, Jonathan P. Bowen
2006 — conf
Segregated failures model for availability evaluation of fault-tolerant systems.
ACSC
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2006 C conf
Specification of Software Component Requirements Using the Trace Function Method.
ICSEA
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic
2005 — conf
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.
COMPSAC (1)
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2005 — conf
Disciplined Methods of Software Specification: A Case Study.
ITCC (2)
Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor
2005 C conf
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.
SEKE
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
2004 — conf
A Case Study of Combining I* Framework and the Z Notation.
ICEIS (3)
Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose
2004 — conf
Co-Evolution of Complementary Formal and Informal Requirements.
IWPSE
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
2004 — conf
Combining Agent-Oriented Conceptual Modelling with Formal Methods.
Australian Software Engineering Conference
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna
2004 B conf
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.
PROFES
Sergiy A. Vilkomir, Aditya K. Ghose
2003 B conf
Tolerance of Control-Flow Testing Criteria.
COMPSAC
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
2002 — conf
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
ZB
Sergiy A. Vilkomir, Jonathan P. Bowen
2001 B conf
Formalization of Software Testing Criteria using the Z Notation.
COMPSAC
Sergiy A. Vilkomir, Jonathan P. Bowen