default search action
Sergiy A. Vilkomir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j7]Sergiy Vilkomir
:
Multi-device coverage testing of mobile applications. Softw. Qual. J. 26(2): 197-215 (2018) - 2017
- [c32]Sergiy Vilkomir, Jiabin Wang, Nam Le Thai, Junhua Ding:
Combinatorial Methods of Feature Selection for Cell Image Classification. QRS Companion 2017: 55-60 - [c31]Sergiy Vilkomir, Aparna Alluri, D. Richard Kuhn, Raghu N. Kacker:
Combinatorial and MC/DC Coverage Levels of Random Testing. QRS Companion 2017: 61-68 - 2016
- [c30]Sergiy Vilkomir, Galen Pennell:
Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing. ICST Workshops 2016: 39-45 - [c29]Sergiy Vilkomir:
Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review. QRS Companion 2016: 55-60 - [c28]Mary Frances Moore, Sergiy Vilkomir:
Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application. SEKE 2016: 474-479 - 2015
- [c27]Sergiy Vilkomir, Katherine Marszalkowski, Chauncey Perry, Swetha Mahendrakar:
Effectiveness of Multi-device Testing Mobile Applications. MOBILESoft 2015: 44-47 - [c26]Sergiy Vilkomir, David Anderson:
Relationship between pair-wise and MC/DC testing: Initial experimental results. ICST Workshops 2015: 1-4 - 2014
- [c25]Sergiy Vilkomir, Brandi Amstutz:
Using Combinatorial Approaches for Testing Mobile Applications. ICST Workshops 2014: 78-83 - 2013
- [c24]Oleksii Starov, Sergiy Vilkomir:
Integrated TaaS platform for mobile development: Architecture solutions. AST 2013: 1-7 - [c23]Oleksii Starov, Sergiy Vilkomir, Vyacheslav S. Kharchenko:
Cloud Testing for Mobile Software Systems - Concept and Prototyping. ICSOFT 2013: 124-131 - [c22]Sergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo:
Evaluation of t-wise Approach for Testing Logical Expressions in Software. ICST Workshops 2013: 249-256 - 2012
- [c21]William Alton Ballance, Sergiy Vilkomir, William Jenkins:
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. ICST 2012: 580-586 - 2011
- [c20]William Jenkins, Sergiy Vilkomir, Puneet Sharma, George Pirocanac:
Framework for testing cloud platforms and infrastructures. CDC 2011: 134-140 - [c19]Mohammad H. N. Tabrizi, Sergiy Vilkomir, Junhua Ding:
Development of North Carolina's first Software Engineering program: An experience report. CSEE&T 2011: 266-273 - [c18]Sergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi:
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study. SEKE 2011: 219-224 - 2010
- [j6]Ben Flood, Brett Houlding
A probability model of system downtime with implications for optimal warranty design. Qual. Reliab. Eng. Int. 26(1): 83-96 (2010)
2000 – 2009
- 2009
- [j5]Robert M. Hierons
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j4]Aneesh Krishna
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Inf. Softw. Technol. 51(2): 478-496 (2009) - [c17]Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore:
Software Input Space Modeling with Constraints among Parameters. COMPSAC (1) 2009: 136-141 - 2008
- [j3]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): 447-465 (2008) - [c16]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 - [c15]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 - [c14]Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore:
Combinatorial Test Case Selection with Markovian Usage Models. ITNG 2008: 3-8 - 2007
- [c13]David Lorge Parnas, Sergiy A. Vilkomir:
Precise Documentation of Critical Software. HASE 2007: 237-244 - 2006
- [j2]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): 42-62 (2006) - [j1]Sergiy A. Vilkomir, Jonathan P. Bowen
Formalization and assessment of regulatory requirements for safety-critical software. Innov. Syst. Softw. Eng. 2(3-4): 165-178 (2006) - [c12]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 - [c11]Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic:
Specification of Software Component Requirements Using the Trace Function Method. ICSEA 2006: 50 - 2005
- [c10]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 - [c9]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 - [c8]Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir:
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460 - 2004
- [c7]Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna:
Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157 - [c6]Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose:
A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200 - [c5]Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir:
Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164 - [c4]Sergiy A. Vilkomir, Aditya K. Ghose:
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537 - 2003
- [c3]Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187 - 2002
- [c2]Sergiy A. Vilkomir, Jonathan P. Bowen
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308 - 2001
- [c1]Sergiy A. Vilkomir, Jonathan P. Bowen
Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: