Sergiy Boroday

	2012
19		Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran: Prioritizing test cases with string distances. Autom. Softw. Eng. 19(1): 65-95 (2012)
	2010
18		Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday: From Scenarios to Test Implementations Via Promela. ICTSS 2010: 236-249
	2009
17		Yves Ledru, Alexandre Petrenko, Sergiy Boroday: Using String Distances for Test Case Prioritisation. ASE 2009: 510-514
16		Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65
	2008
15		Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Test suite consistency verification. EWDTS 2008: 235-239
	2007
14		Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz: Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210
13		Sergiy Boroday, Alexandre Petrenko, Roland Groz: Can a Model Checker Generate Tests for Non-Deterministic Systems? Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007)
	2006
12		Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)
	2005
11		May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404
10		Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal: Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
9		Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko: Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267
8		Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30(1): 29-42 (2004)
	2003
7		Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
6		Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108
5		Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196
	2002
4		Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener: Techniques for Abstracting SDL Specifications. SAM 2002: 141-157
3		Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener: Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372
	1999
2		Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming configurations in EFSM. FORTE 1999: 5-24
	1998
1		Sergiy Boroday: Distinguishing Tests for Nondeterministic Finite State Machines. IWTCS 1998: 101-108

Coauthor Index

1	El Hachemi Alikacem	[9] [18]
2	Arnaud Dury	[14]
3	Roland Groz	[2] [3] [4] [8] [13]
4	Hesham Hallal	[5] [6] [7] [9] [10] [12] [18]
5	May Haydar	[11]
6	Yves Ledru	[17] [19]
7	Volkmar Lotz	[14]
8	Nadine Mandran	[19]
9	Alexandre Petrenko	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19]
10	Yves-Marie Quemener	[3] [4]
11	Houari A. Sahraoui	[11]
12	J. Singh	[10]
13	W. P. Tunney	[9]
14	Andreas Ulrich	[5] [6] [7] [12] [15] [16] [18]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page