Sergiy A. Vilkomir

	2009
20		Robert 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
19		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
18		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
17		Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore: Combinatorial Test Case Selection with Markovian Usage Models. ITNG 2008: 3-8
16		Sergiy 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
15		David Lorge Parnas, Sergiy A. Vilkomir: Precise Documentation of Critical Software. HASE 2007: 237-244
	2006
14		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
13		Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic: Specification of Software Component Requirements Using the Trace Function Method. ICSEA 2006: 50
12		Sergiy 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)
11		Sergiy 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
10		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
9		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
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
7		Sergiy 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
5		Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
4		Sergiy A. Vilkomir, Aditya K. Ghose: Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537
	2003
3		Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
	2002
2		Sergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
	2001
1		Sergiy A. Vilkomir, Jonathan P. Bowen: Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356

Coauthor Index

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