Formalization of Software Testing Criteria using the Z Notation. - Sergiy A. Vilkomir; Jonathan P. Bowen (COMPSAC, 2001)

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

Tolerance of Control-Flow Testing Criteria. - Sergiy A. Vilkomir; Kalpesh Kapoor; Jonathan P. Bowen (COMPSAC, 2003)

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

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

Co-Evolution of Complementary Formal and Informal Requirements. - Aneesh Krishna; Aditya K. Ghose; Sergiy A. Vilkomir (IWPSE, 2004)

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

Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. - Sergiy A. Vilkomir; David Lorge Parnas; Veena B. Mendiratta; Eamonn Murphy (COMPSAC (1), 2005)

Disciplined Methods of Software Specification: A Case Study. - Robert L. Baber; David Lorge Parnas; Sergiy A. Vilkomir; Paul Harrison; Tony O'Connor (ITCC (2), 2005)

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

Segregated failures model for availability evaluation of fault-tolerant systems. - Sergiy A. Vilkomir; David Lorge Parnas; Veena B. Mendiratta; Eamonn Murphy (ACSC, 2006)

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

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. - Sergiy A. Vilkomir; Jonathan P. Bowen (Formal Aspects Comput., 2006)

Formalization and assessment of regulatory requirements for safety-critical software. - Sergiy A. Vilkomir; Jonathan P. Bowen; Aditya K. Ghose (Innov. Syst. Softw. Eng., 2006)

Precise Documentation of Critical Software. - David Lorge Parnas; Sergiy A. Vilkomir (HASE, 2007)

Modeling Input Space for Testing Scientific Computational Software: A Case Study. - Sergiy A. Vilkomir; W. Thomas Swain; Jesse H. Poore; Kevin T. Clarno (ICCS (3), 2008)

Combinatorial Test Case Selection with Markovian Usage Models. - Sergiy A. Vilkomir; W. Thomas Swain; Jesse H. Poore (ITNG, 2008)

Computer systems availability evaluation using a segregated failures model. - Sergiy A. Vilkomir; David Lorge Parnas; Veena B. Mendiratta; Eamonn Murphy (Qual. Reliab. Eng. Int., 2008)

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

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. - Aneesh Krishna; Sergiy A. Vilkomir; Aditya K. Ghose (Inf. Softw. Technol., 2009)

A probability model of system downtime with implications for optimal warranty design. - Ben Flood; Brett Houlding; Simon P. Wilson 001; Sergiy Vilkomir (Qual. Reliab. Eng. Int., 2010)

Framework for testing cloud platforms and infrastructures. - William Jenkins; Sergiy Vilkomir; Puneet Sharma; George Pirocanac (CDC, 2011)

Development of North Carolina's first Software Engineering program: An experience report. - Mohammad H. N. Tabrizi; Sergiy Vilkomir; Junhua Ding (CSEE&T, 2011)

Interface Testing Using a Subgraph Splitting Algorithm: A Case Study. - Sergiy Vilkomir; Ali Asghary Karahroudy; Nasseh Tabrizi (SEKE, 2011)

Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. - William Alton Ballance; Sergiy Vilkomir; William Jenkins (ICST, 2012)

Integrated TaaS platform for mobile development: Architecture solutions. - Oleksii Starov; Sergiy Vilkomir (AST, 2013)

Cloud Testing for Mobile Software Systems - Concept and Prototyping. - Oleksii Starov; Sergiy Vilkomir; Vyacheslav S. Kharchenko (ICSOFT, 2013)

Evaluation of t-wise Approach for Testing Logical Expressions in Software. - Sergiy Vilkomir; Oleksii Starov; Ranjan Bhambroo (ICST Workshops, 2013)

Using Combinatorial Approaches for Testing Mobile Applications. - Sergiy Vilkomir; Brandi Amstutz (ICST Workshops, 2014)

Effectiveness of Multi-device Testing Mobile Applications. - Sergiy Vilkomir; Katherine Marszalkowski; Chauncey Perry; Swetha Mahendrakar (MOBILESoft, 2015)

Relationship between pair-wise and MC/DC testing: Initial experimental results. - Sergiy Vilkomir; David Anderson (ICST Workshops, 2015)

Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing. - Sergiy Vilkomir; Galen Pennell (ICST Workshops, 2016)

Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review. - Sergiy Vilkomir (QRS Companion, 2016)

Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application. - Mary Frances Moore; Sergiy Vilkomir (SEKE, 2016)

Combinatorial and MC/DC Coverage Levels of Random Testing. - Sergiy Vilkomir; Aparna Alluri; D. Richard Kuhn; Raghu N. Kacker (QRS Companion, 2017)

Combinatorial Methods of Feature Selection for Cell Image Classification. - Sergiy Vilkomir; Jiabin Wang; Nam Le Thai; Junhua Ding (QRS Companion, 2017)

Multi-device coverage testing of mobile applications. - Sergiy Vilkomir (Softw. Qual. J., 2018)