| 2003 | SAC | Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. | Olfa Abdellatif-Kaddour, Pascale Thvenod-Fosse, Hlne Waeselynck |
| 2001 | COMPSAC | Automated Generation of Statistical Test Cases from UML State Diagrams. | Philippe Chevalley, Pascale Thvenod-Fosse |
| 2001 | DSN | A Strategy for Testing MetaObject Protocols in Reflective Architectures. | Juan-Carlos Ruiz-Garcia, Pascale Thvenod-Fosse, Jean-Charles Fabre |
| 2001 | ISSRE | An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study. | Philippe Chevalley, Pascale Thvenod-Fosse |
| 2000 | ICSE | Testing levels for object-oriented software. | Yvan Labiche, Pascale Thvenod-Fosse, Hlne Waeselynck, M.-H. Durand |
| 1999 | EDCC | A Case Study in Statistical Testing of Reusable Concurrent Objects. | Hlne Waeselynck, Pascale Thvenod-Fosse |
| 1997 | VTS | Hardware Test: Can We Learn from Software Testing? | J. Abraham, Phyllis G. Frankl, Christian Landrault, Meryem Marzouki, Paolo Prinetto, Chantal Robach, Pascale Thvenod-Fosse |
| 1996 | ISSTA | Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. | Muriel Daran, Pascale Thvenod-Fosse |
| 1996 | SAFECOMP | Defining the Unit Testing Level of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1994 | EDCC | On Statistical Structural Testing of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1993 | ISSTA | STATEMATE Applied to Statistical Software Testing. | Pascale Thvenod-Fosse, Hlne Waeselynck |
| 1977 | GI | Random Testing of Memories. | Pascale Thvenod-Fosse, Ren David |