Pascale Thévenod-Fosse

According to our database, Pascale Thévenod-Fosse authored at least 24 papers between 1977 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Simulated annealing applied to test generation: landscape characterization and stopping criteria.

Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour

Empir. Softw. Eng., 2007

2003

Reflective Fault-Tolerant Systems: From Experience to Challenges.

Juan-Carlos Ruiz-Garcia, Marc-Olivier Killijian, Jean-Charles Fabre, Pascale Thévenod-Fosse

IEEE Trans. Computers, 2003

A mutation analysis tool for Java programs.

Philippe Chevalley, Pascale Thévenod-Fosse

Int. J. Softw. Tools Technol. Transf., 2003

Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios.

Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2001

Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.

Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre, Pascale Thévenod-Fosse

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.

Philippe Chevalley, Pascale Thévenod-Fosse

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

A Strategy for Testing MetaObject Protocols in Reflective Architectures.

Juan-Carlos Ruiz-Garcia, Pascale Thévenod-Fosse, Jean-Charles Fabre

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Automated Generation of Statistical Test Cases from UML State Diagrams.

Philippe Chevalley, Pascale Thévenod-Fosse

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Testing levels for object-oriented software.

Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Empirical Studies of Object-Oriented Artifacts, Methods, and Processes: State of the Art and Future Directions.

Lionel C. Briand, Erik Arisholm, Steve Counsell, Frank Houdek, Pascale Thévenod-Fosse

Empir. Softw. Eng., 1999

A Case Study in Statistical Testing of Reusable Concurrent Objects.

Hélène Waeselynck, Pascale Thévenod-Fosse

Proceedings of the Dependable Computing, 1999

1997

Hardware Test: Can We Learn from Software Testing?

J. Abraham, Phyllis G. Frankl, Christian Landrault, Meryem Marzouki, Paolo Prinetto, Chantal Robach, Pascale Thévenod-Fosse

Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997

Towards a Statistical Approach to Testing Object-Oriented Programs.

Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the Digest of Papers: FTCS-27, 1997

1996

Defining the Unit Testing Level of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

Proceedings of the 15th International Conference on Computer Safety, 1996

Software Error Analysis: A Real Case Study Involving Real Faults and Mutations.

Muriel Daran, Pascale Thévenod-Fosse

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1994

On Statistical Structural Testing of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

Proceedings of the Dependable Computing, 1994

1993

STATEMATE Applied to Statistical Software Testing.

Pascale Thévenod-Fosse, Hélène Waeselynck

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991

An Investigation of Statistical Software Testing.

Pascale Thévenod-Fosse, Hélène Waeselynck

Softw. Test. Verification Reliab., 1991

An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.

Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1987

MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.

Z. Abazi, Pascale Thévenod-Fosse

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1984

Random testing of LSI self-checking circuits.

Hugues Deneux, Pascale Thévenod-Fosse

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1980

Minimal Detecting Transition Sequences: Application to Random Testing.

René David, Pascale Thévenod-Fosse

IEEE Trans. Computers, 1980

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

PhD thesis, 1978

1977

Random Testing of Memories.

Pascale Thévenod-Fosse, René David

Proceedings of the GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings, 1977