| 2008 |
|---|
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Guillaume Lussier,
Hélène Waeselynck:
Informal Proof Analysis Towards Testing Enhancement.
ISSRE 2002: 27-40 |
| 2000 |
|---|
| 10 | EE | 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 | EE | Hélène Waeselynck,
Pascale Thévenod-Fosse:
A Case Study in Statistical Testing of Reusable Concurrent Objects.
EDCC 1999: 401-418 |
| 8 | EE | Salimeh Behnia,
Hélène Waeselynck:
Test Criteria Definition for B Models.
World Congress on Formal Methods 1999: 509-529 |
| 1998 |
|---|
| 7 | EE | 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 | EE | 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) |
