Sergiy A. Vilkomir

According to our database, Sergiy A. Vilkomir authored at least 38 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Multi-device coverage testing of mobile applications.

Sergiy Vilkomir

Softw. Qual. J., 2018

2017

Combinatorial Methods of Feature Selection for Cell Image Classification.

Sergiy Vilkomir, Jiabin Wang, Nam Le Thai, Junhua Ding

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Combinatorial and MC/DC Coverage Levels of Random Testing.

Sergiy Vilkomir, Aparna Alluri, D. Richard Kuhn, Raghu N. Kacker

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application.

Mary Frances Moore, Sergiy Vilkomir

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review.

Sergiy Vilkomir

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing.

Sergiy Vilkomir, Galen Pennell

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Relationship between pair-wise and MC/DC testing: Initial experimental results.

Sergiy Vilkomir, David Anderson

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Effectiveness of Multi-device Testing Mobile Applications.

Sergiy Vilkomir, Katherine Marszalkowski, Chauncey Perry, Swetha Mahendrakar

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

2014

Using Combinatorial Approaches for Testing Mobile Applications.

Sergiy Vilkomir, Brandi Amstutz

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Evaluation of t-wise Approach for Testing Logical Expressions in Software.

Sergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Cloud Testing for Mobile Software Systems - Concept and Prototyping.

Oleksii Starov, Sergiy Vilkomir, Vyacheslav S. Kharchenko

Proceedings of the ICSOFT 2013, 2013

Integrated TaaS platform for mobile development: Architecture solutions.

Oleksii Starov, Sergiy Vilkomir

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Effectiveness of Pair-Wise Testing for Software with Boolean Inputs.

William Alton Ballance, Sergiy Vilkomir, William Jenkins

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.

Sergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Development of North Carolina's first Software Engineering program: An experience report.

Mohammad H. N. Tabrizi, Sergiy Vilkomir, Junhua Ding

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Framework for testing cloud platforms and infrastructures.

William Jenkins, Sergiy Vilkomir, Puneet Sharma, George Pirocanac

Proceedings of the 2011 International Conference on Cloud and Service Computing, 2011

2010

A probability model of system downtime with implications for optimal warranty design.

Ben Flood, Brett Houlding, Simon P. Wilson, Sergiy Vilkomir

Qual. Reliab. Eng. Int., 2010

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

Using formal specifications to support testing.

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

ACM Comput. Surv., 2009

Software Input Space Modeling with Constraints among Parameters.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

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

Combinatorial Test Case Selection with Markovian Usage Models.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Modeling Input Space for Testing Scientific Computational Software: A Case Study.

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno

Proceedings of the Computational Science, 2008

2007

Precise Documentation of Critical Software.

David Lorge Parnas, Sergiy A. Vilkomir

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

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

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.

Sergiy A. Vilkomir, Jonathan P. Bowen

Formal Aspects Comput., 2006

Specification of Software Component Requirements Using the Trace Function Method.

Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Segregated failures model for availability evaluation of fault-tolerant systems.

Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy

Proceedings of the Computer Science 2006, 2006

2005

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Disciplined Methods of Software Specification: A Case Study.

Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.

Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.

Sergiy A. Vilkomir, Aditya K. Ghose

Proceedings of the Product Focused Software Process Improvement, 2004

Co-Evolution of Complementary Formal and Informal Requirements.

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

A Case Study of Combining I* Framework and the Z Notation.

Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose

Proceedings of the ICEIS 2004, 2004

Combining Agent-Oriented Conceptual Modelling with Formal Methods.

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Tolerance of Control-Flow Testing Criteria.

Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.

Sergiy A. Vilkomir, Jonathan P. Bowen

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

Formalization of Software Testing Criteria using the Z Notation.

Sergiy A. Vilkomir, Jonathan P. Bowen

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001