default search action

combined dblp search
author search
venue search
publication search

ask others

Sergiy A. Vilkomir

Sergiy Vilkomir

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/Vilkomir18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/Vilkomir18
Sergiy Vilkomir:
Multi-device coverage testing of mobile applications. Softw. Qual. J. 26(2): 197-215 (2018)
2010
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/qre/FloodHWV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qre/FloodHWV10
Ben Flood, Brett Houlding, Simon P. Wilson, Sergiy Vilkomir:
A probability model of system downtime with implications for optimal warranty design. Qual. Reliab. Eng. Int. 26(1): 83-96 (2010)
2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/HieronsBBCDDGHKKLSVWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09
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): 9:1-9:76 (2009)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/KrishnaVG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/KrishnaVG09
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): 478-496 (2009)
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/qre/VilkomirPMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qre/VilkomirPMM08
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)
2006
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/VilkomirB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/VilkomirB06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/VilkomirBG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/VilkomirBG06
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): 165-178 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/VilkomirWTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/VilkomirWTD17
Sergiy Vilkomir, Jiabin Wang, Nam Le Thai, Junhua Ding:
Combinatorial Methods of Feature Selection for Cell Image Classification. QRS Companion 2017: 55-60
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/VilkomirAKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/VilkomirAKK17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VilkomirP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VilkomirP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/Vilkomir16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/Vilkomir16
Sergiy Vilkomir:
Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review. QRS Companion 2016: 55-60
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seke/MooreV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/MooreV16
Mary Frances Moore, Sergiy Vilkomir:
Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application. SEKE 2016: 474-479
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VilkomirMPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VilkomirMPM15
Sergiy Vilkomir, Katherine Marszalkowski, Chauncey Perry, Swetha Mahendrakar:
Effectiveness of Multi-device Testing Mobile Applications. MOBILESoft 2015: 44-47
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VilkomirA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VilkomirA15
Sergiy Vilkomir, David Anderson:
Relationship between pair-wise and MC/DC testing: Initial experimental results. ICST Workshops 2015: 1-4
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VilkomirA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VilkomirA14
Sergiy Vilkomir, Brandi Amstutz:
Using Combinatorial Approaches for Testing Mobile Applications. ICST Workshops 2014: 78-83
2013
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/StarovV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/StarovV13
Oleksii Starov, Sergiy Vilkomir:
Integrated TaaS platform for mobile development: Architecture solutions. AST 2013: 1-7
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/StarovVK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/StarovVK13
Oleksii Starov, Sergiy Vilkomir, Vyacheslav S. Kharchenko:
Cloud Testing for Mobile Software Systems - Concept and Prototyping. ICSOFT 2013: 124-131
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VilkomirSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VilkomirSB13
Sergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo:
Evaluation of t-wise Approach for Testing Logical Expressions in Software. ICST Workshops 2013: 249-256
2012
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/BallanceVJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/BallanceVJ12
William Alton Ballance, Sergiy Vilkomir, William Jenkins:
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. ICST 2012: 580-586
2011
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcsc/JenkinsVSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcsc/JenkinsVSP11
William Jenkins, Sergiy Vilkomir, Puneet Sharma, George Pirocanac:
Framework for testing cloud platforms and infrastructures. CDC 2011: 134-140
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/TabriziVD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/TabriziVD11
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/VilkomirKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/VilkomirKT11
Sergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi:
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study. SEKE 2011: 219-224
2009
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VilkomirSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VilkomirSP09
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore:
Software Input Space Modeling with Constraints among Parameters. COMPSAC (1) 2009: 136-141
2008
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/VilkomirB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/VilkomirB08
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/VilkomirSPC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/VilkomirSPC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/VilkomirSP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/VilkomirSP08
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore:
Combinatorial Test Case Selection with Markovian Usage Models. ITNG 2008: 3-8
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/ParnasV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/ParnasV07
David Lorge Parnas, Sergiy A. Vilkomir:
Precise Documentation of Critical Software. HASE 2007: 237-244
2006
[c12]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/acsc/VilkomirPMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/VilkomirPMM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/QuinnVPK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/QuinnVPK06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VilkomirPMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VilkomirPMM05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itcc/BaberPVHO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itcc/BaberPVHO05
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/KrishnaGV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/KrishnaGV05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/VilkomirGK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/VilkomirGK04
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna:
Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/KrishnaVG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/KrishnaVG04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpse/KrishnaGV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpse/KrishnaGV04
Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir:
Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/VilkomirG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/VilkomirG04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VilkomirKB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VilkomirKB03
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen:
Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/VilkomirB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/VilkomirB02
Sergiy A. Vilkomir, Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VilkomirB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VilkomirB01
Sergiy A. Vilkomir, Jonathan P. Bowen:
Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356

Coauthor Index

see FAQ

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.