Hélène Waeselynck

	2009
20		Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
	2008
19		Guy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
18		Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere: Testing mobile computing applications: toward a scenario language and tools. WODA 2008: 29-35
	2007
17		Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Riviere: Mobile Systems from a Validation Perspective: a Case Study. ISPDC 2007: 85-92
16		Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour: Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empirical Software Engineering 12(1): 35-63 (2007)
	2004
15		Guillaume Lussier, Hélène Waeselynck, Karim Guennoun: Proof-Guided Testing: An Experimental Study. COMPSAC 2004: 528-533
14		Philippe David, Hélène Waeselynck, Yves Crouzet: Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-678
13		Guillaume Lussier, Hélène Waeselynck: Deriving Test Sets from Partial Proofs. ISSRE 2004: 14-24
	2003
12		Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck: Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. SAC 2003: 1128-1134
	2002
11		Guillaume Lussier, Hélène Waeselynck: Informal Proof Analysis Towards Testing Enhancement. ISSRE 2002: 27-40
	2000
10		Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand: Testing levels for object-oriented software. ICSE 2000: 136-145
	1999
9		Hélène Waeselynck, Pascale Thévenod-Fosse: A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC 1999: 401-418
8		Salimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529
	1998
7		Hélène Waeselynck, Salimeh Behnia: B Model Animation for External Verification. ICFEM 1998: 36-45
	1997
6		Pascale Thévenod-Fosse, Hélène Waeselynck: Towards a Statistical Approach to Testing Object-Oriented Programs. FTCS 1997: 99-108
5		Hélène Waeselynck: Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). Softw. Test., Verif. Reliab. 7(2): 129-130 (1997)
	1994
4		Hélène Waeselynck, Dietmar Pfahl: System Dynamics Applied to the Modelling of Software Projects. Software - Concepts and Tools 15(4): 162-176 (1994)
	1993
3		Pascale Thévenod-Fosse, Hélène Waeselynck: STATEMATE Applied to Statistical Software Testing. ISSTA 1993: 99-109
	1991
2		Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet: An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. FTCS 1991: 410-417
1		Pascale Thévenod-Fosse, Hélène Waeselynck: An Investigation of Statistical Software Testing. Softw. Test., Verif. Reliab. 1(2): 5-25 (1991)

Coauthor Index

1	Olfa Abdellatif-Kaddour	[12] [16]
2	Salimeh Behnia	[7] [8]
3	Thomas Bochot	[20]
4	Yves Crouzet	[2] [14]
5	Philippe David	[14]
6	M.-H. Durand	[10]
7	Guy Durrieu	[19]
8	Karim Guennoun	[15]
9	Yvan Labiche	[10]
10	Guillaume Lussier	[11] [13] [15]
11	Zoltán Micskei	[17]
12	Minh Duc Nguyen	[17] [18]
13	Dietmar Pfahl	[4]
14	Nicolas Riviere	[17] [18]
15	Pascale Thévenod-Fosse	[1] [2] [3] [6] [9] [10] [12] [16]
16	Pierre Virelizier	[20]
17	Virginie Wiels	[19] [20]

Colors in the list of coauthors