default search action
Pascale Thévenod-Fosse
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2007
- [j6]Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour:
Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empir. Softw. Eng. 12(1): 35-63 (2007) - 2003
- [j5]Philippe Chevalley, Pascale Thévenod-Fosse:
A mutation analysis tool for Java programs. Int. J. Softw. Tools Technol. Transf. 5(1): 90-103 (2003) - [j4]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) - [c17]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
- [e1]Fabrizio Grandoni, Pascale Thévenod-Fosse:
Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings. Lecture Notes in Computer Science 2485, Springer 2002, ISBN 3-540-00012-7 [contents] - 2001
- [c16]Philippe Chevalley, Pascale Thévenod-Fosse:
Automated Generation of Statistical Test Cases from UML State Diagrams. COMPSAC 2001: 205-214 - [c15]Juan-Carlos Ruiz-Garcia
A Strategy for Testing MetaObject Protocols in Reflective Architectures. DSN 2001: 327-336 - [c14]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 - [c13]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
- [c12]Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand:
Testing levels for object-oriented software. ICSE 2000: 136-145
1990 – 1999
- 1999
- [j3]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. Empir. Softw. Eng. 4(4): 387-404 (1999) - [c11]Hélène Waeselynck, Pascale Thévenod-Fosse:
A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC 1999: 401-418 - 1997
- [c10]Pascale Thévenod-Fosse, Hélène Waeselynck:
Towards a Statistical Approach to Testing Object-Oriented Programs. FTCS 1997: 99-108 - [c9]J. Abraham, Phyllis G. 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
- [c8]Muriel Daran, Pascale Thévenod-Fosse:
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. ISSTA 1996: 158-171 - [c7]Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
Defining the Unit Testing Level of Synchronous Data Flow Programs. SAFECOMP 1996: 115-125 - 1994
- [c6]Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC 1994: 250-267 - 1993
- [c5]Pascale Thévenod-Fosse, Hélène Waeselynck:
STATEMATE Applied to Statistical Software Testing. ISSTA 1993: 99-109 - 1991
- [j2]Pascale Thévenod-Fosse, Hélène Waeselynck:
An Investigation of Statistical Software Testing. Softw. Test. Verification Reliab. 1(2): 5-25 (1991) - [c4]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
1980 – 1989
- 1987
- [c3]Z. Abazi, Pascale Thévenod-Fosse:
MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation. Fehlertolerierende Rechensysteme 1987: 95-106 - 1984
- [c2]Hugues Deneux, Pascale Thévenod-Fosse:
Random testing of LSI self-checking circuits. Fehlertolerierende Rechensysteme 1984: 380-390 - 1980
- [j1]René David, Pascale Thévenod-Fosse:
Minimal Detecting Transition Sequences: Application to Random Testing. IEEE Trans. Computers 29(6): 514-518 (1980)
1970 – 1979
- 1978
- [b1]Pascale Thévenod-Fosse:
Contribution à l'étude du test aléatoire des circuits séquentiels et des mémoires. Application à des composants intégrés. Grenoble Institute of Technology, France, 1978 - 1977
- [c1]Pascale Thévenod-Fosse, René David:
Random Testing of Memories. GI Jahrestagung 1977: 139-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: