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

Hélène Waeselynck Vis

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

*2009
20EEThomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
2008
19EEGuy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
18EEMinh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere: Testing mobile computing applications: toward a scenario language and tools. WODA 2008: 29-35
2007
17EEHélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Riviere: Mobile Systems from a Validation Perspective: a Case Study. ISPDC 2007: 85-92
16EEHé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
15EEGuillaume 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
13EEGuillaume 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
11EEGuillaume Lussier, Hélène Waeselynck: Informal Proof Analysis Towards Testing Enhancement. ISSRE 2002: 27-40
2000
10EEYvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand: Testing levels for object-oriented software. ICSE 2000: 136-145
1999
9EEHélène Waeselynck, Pascale Thévenod-Fosse: A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC 1999: 401-418
8EESalimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529
1998
7EEHé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
3EEPascale 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)