Pascale Thévenod-Fosse

25 papers A* 1A 4B 2Misc 5Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2007 J jnl
Simulated annealing applied to test generation: landscape characterization and stopping criteria.
Empir. Softw. Eng.
Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour
2003 J jnl
A mutation analysis tool for Java programs.
Int. J. Softw. Tools Technol. Transf.
Philippe Chevalley, Pascale Thévenod-Fosse
2003 Misc conf
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.
SAC
Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck
2003 J jnl
Reflective Fault-Tolerant Systems: From Experience to Challenges.
IEEE Trans. Computers
Juan-Carlos Ruiz-Garcia, Marc-Olivier Killijian, Jean-Charles Fabre, Pascale Thévenod-Fosse
2002 Misc ed.
Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings
EDCC
Fabrizio Grandoni, Pascale Thévenod-Fosse
2001 A conf
A Strategy for Testing MetaObject Protocols in Reflective Architectures.
DSN
Juan-Carlos Ruiz-Garcia, Pascale Thévenod-Fosse, Jean-Charles Fabre
2001 A conf
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.
ISSRE
Philippe Chevalley, Pascale Thévenod-Fosse
2001 B conf
Automated Generation of Statistical Test Cases from UML State Diagrams.
COMPSAC
Philippe Chevalley, Pascale Thévenod-Fosse
2001 — conf
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.
Reflection
Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre, Pascale Thévenod-Fosse
2000 A* conf
Testing levels for object-oriented software.
ICSE
Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand
1999 Misc conf
A Case Study in Statistical Testing of Reusable Concurrent Objects.
EDCC
Hélène Waeselynck, Pascale Thévenod-Fosse
1999 J jnl
Empirical Studies of Object-Oriented Artifacts, Methods, and Processes: State of the Art and Future Directions.
Empir. Softw. Eng.
Lionel C. Briand, Erik Arisholm, Steve Counsell, Frank Houdek, Pascale Thévenod-Fosse
1997 Misc conf
Hardware Test: Can We Learn from Software Testing?
VTS
J. Abraham, Phyllis G. Frankl, Christian Landrault, Meryem Marzouki, Paolo Prinetto, Chantal Robach, Pascale Thévenod-Fosse
1997 — conf
Towards a Statistical Approach to Testing Object-Oriented Programs.
FTCS
Pascale Thévenod-Fosse, Hélène Waeselynck
1996 B conf
Defining the Unit Testing Level of Synchronous Data Flow Programs.
SAFECOMP
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
1996 A conf
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations.
ISSTA
Muriel Daran, Pascale Thévenod-Fosse
1994 Misc conf
On Statistical Structural Testing of Synchronous Data Flow Programs.
EDCC
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
1993 A conf
STATEMATE Applied to Statistical Software Testing.
ISSTA
Pascale Thévenod-Fosse, Hélène Waeselynck
1991 — conf
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.
FTCS
Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
1991 J jnl
An Investigation of Statistical Software Testing.
Softw. Test. Verification Reliab.
Pascale Thévenod-Fosse, Hélène Waeselynck
1987 — conf
MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.
Fehlertolerierende Rechensysteme
Z. Abazi, Pascale Thévenod-Fosse
1984 — conf
Random testing of LSI self-checking circuits.
Fehlertolerierende Rechensysteme
Hugues Deneux, Pascale Thévenod-Fosse
1980 J jnl
Minimal Detecting Transition Sequences: Application to Random Testing.
IEEE Trans. Computers
René David, Pascale Thévenod-Fosse
1978 — —
Contribution à l'étude du test aléatoire des circuits séquentiels et des mémoires. Application à des composants intégrés.
Pascale Thévenod-Fosse
1977 — conf
Random Testing of Memories.
GI Jahrestagung
Pascale Thévenod-Fosse, René David