dblp.uni-trier.dewww.uni-trier.de

Sergiy A. Vilkomir

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
20EERobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul 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): (2009)
2008
19EESergiy 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
18EESergiy 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
17EESergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore: Combinatorial Test Case Selection with Markovian Usage Models. ITNG 2008: 3-8
16EESergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy: Computer systems availability evaluation using a segregated failures model. Quality and Reliability Eng. Int. 24(4): 447-465 (2008)
2007
15EEDavid Lorge Parnas, Sergiy A. Vilkomir: Precise Documentation of Critical Software. HASE 2007: 237-244
2006
14EESergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy: Segregated failures model for availability evaluation of fault-tolerant systems. ACSC 2006: 55-61
13EEColm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic: Specification of Software Component Requirements Using the Trace Function Method. ICSEA 2006: 50
12EESergiy A. Vilkomir, Jonathan P. Bowen: From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Asp. Comput. 18(1): 42-62 (2006)
11EESergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose: Formalization and assessment of regulatory requirements for safety-critical software. ISSE 2(3-4): 165-178 (2006)
2005
10EESergiy 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
9EERobert 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
8 Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460
2004
7EESergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna: Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157
6 Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200
5EEAneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
4EESergiy A. Vilkomir, Aditya K. Ghose: Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537
2003
3EESergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
2002
2EESergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
2001
1EESergiy A. Vilkomir, Jonathan P. Bowen: Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356

Coauthor Index

1Robert L. Baber [9]
2Kirill Bogdanov [20]
3Jonathan P. Bowen [1] [2] [3] [11] [12] [19] [20]
4Kevin T. Clarno [18]
5Rance Cleaveland [20]
6John Derrick [20]
7Jeremy Dick [20]
8Marian Gheorghe [20]
9Aditya K. Ghose (Aditya Ghose) [4] [5] [6] [7] [8] [11]
10Mark Harman [20]
11Paul Harrison [9]
12Robert M. Hierons [20]
13Kalpesh Kapoor [3] [20]
14Srdjan Kostic [13]
15Paul Krause [20]
16Aneesh Krishna [5] [6] [7] [8]
17Gerald Lüttgen [20]
18Veena B. Mendiratta [10] [14] [16]
19Eamonn Murphy [10] [14] [16]
20Tony O'Connor [9]
21David Lorge Parnas [9] [10] [13] [14] [15] [16]
22Jesse H. Poore [17] [18]
23Colm Quinn [13]
24Anthony J. H. Simons [20]
25W. Thomas Swain [17] [18]
26Martin R. Woodward [20]
27Hussein Zedan (Hussein S. M. Zedan) [20]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)