| 2007 |
|---|
| 22 | 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) |
| 2003 |
|---|
| 21 | | Olfa Abdellatif-Kaddour,
Pascale Thévenod-Fosse,
Hélène Waeselynck:
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.
SAC 2003: 1128-1134 |
| 20 | EE | Juan-Carlos Ruiz-Garcia,
Marc-Olivier Killijian,
Jean-Charles Fabre,
Pascale Thévenod-Fosse:
Reflective Fault-Tolerant Systems: From Experience to Challenges.
IEEE Trans. Computers 52(2): 237-254 (2003) |
| 19 | EE | Philippe Chevalley,
Pascale Thévenod-Fosse:
A mutation analysis tool for Java programs.
STTT 5(1): 90-103 (2003) |
| 2002 |
|---|
| 18 | | Fabrizio Grandoni,
Pascale Thévenod-Fosse:
Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings
Springer 2002 |
| 2001 |
|---|
| 17 | EE | Philippe Chevalley,
Pascale Thévenod-Fosse:
Automated Generation of Statistical Test Cases from UML State Diagrams.
COMPSAC 2001: 205-214 |
| 16 | EE | Juan-Carlos Ruiz-Garcia,
Pascale Thévenod-Fosse,
Jean-Charles Fabre:
A Strategy for Testing MetaObject Protocols in Reflective Architectures.
DSN 2001: 327-336 |
| 15 | EE | Philippe Chevalley,
Pascale Thévenod-Fosse:
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.
ISSRE 2001: 254-263 |
| 14 | EE | Juan-Carlos Ruiz-Garcia,
Jean-Charles Fabre,
Pascale Thévenod-Fosse:
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.
Reflection 2001: 134-152 |
| 2000 |
|---|
| 13 | 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 |
|---|
| 12 | EE | Hélène Waeselynck,
Pascale Thévenod-Fosse:
A Case Study in Statistical Testing of Reusable Concurrent Objects.
EDCC 1999: 401-418 |
| 11 | | Lionel C. Briand,
Erik Arisholm,
Steve Counsell,
Frank Houdek,
Pascale Thévenod-Fosse:
Empirical Studies of Object-Oriented Artifacts, Methods, and Processes: State of the Art and Future Directions.
Empirical Software Engineering 4(4): 387-404 (1999) |
| 1997 |
|---|
| 10 | | Pascale Thévenod-Fosse,
Hélène Waeselynck:
Towards a Statistical Approach to Testing Object-Oriented Programs.
FTCS 1997: 99-108 |
| 9 | EE | J. Abraham,
P. Frankl,
Christian Landrault,
Meryem Marzouki,
Paolo Prinetto,
Chantal Robach,
Pascale Thévenod-Fosse:
Hardware Test: Can We Learn from Software Testing?
VTS 1997: 320-321 |
| 1996 |
|---|
| 8 | EE | Murial Daran,
Pascale Thévenod-Fosse:
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations.
ISSTA 1996: 158-171 |
| 1994 |
|---|
| 7 | | Pascale Thévenod-Fosse,
Christine Mazuet,
Yves Crouzet:
On Statistical Structural Testing of Synchronous Data Flow Programs.
EDCC 1994: 250-267 |
| 1993 |
|---|
| 6 | EE | Pascale Thévenod-Fosse,
Hélène Waeselynck:
STATEMATE Applied to Statistical Software Testing.
ISSTA 1993: 99-109 |
| 1991 |
|---|
| 5 | | 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 |
| 4 | | Pascale Thévenod-Fosse,
Hélène Waeselynck:
An Investigation of Statistical Software Testing.
Softw. Test., Verif. Reliab. 1(2): 5-25 (1991) |
| 1987 |
|---|
| 3 | | Z. Abazi,
Pascale Thévenod-Fosse:
MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.
Fehlertolerierende Rechensysteme 1987: 95-106 |
| 1984 |
|---|
| 2 | | Hugues Deneux,
Pascale Thévenod-Fosse:
Random testing of LSI self-checking circuits.
Fehlertolerierende Rechensysteme 1984: 380-390 |
| 1980 |
|---|
| 1 | | René David,
Pascale Thévenod-Fosse:
Minimal Detecting Transition Sequences: Application to Random Testing.
IEEE Trans. Computers 29(6): 514-518 (1980) |
