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

Pascale Thévenod-Fosse

Hélène Waeselynck Pascale Thévenod-Fosse Olfa Abdellatif-Kaddour Simulated annealing applied to test generation: landscape characterization and stopping criteria. 35-63 2007 12 Empir. Softw. Eng. 1 https://doi.org/10.1007/s10664-006-7551-5 https://www.wikidata.org/entity/Q111935354 db/journals/ese/ese12.html#WaeselynckTA07

Philippe Chevalley Pascale Thévenod-Fosse A mutation analysis tool for Java programs. 90-103 2003 5 Int. J. Softw. Tools Technol. Transf. 1 https://doi.org/10.1007/s10009-002-0099-9 db/journals/sttt/sttt5.html#ChevalleyT03

Juan-Carlos Ruiz-Garcia 0001 Marc-Olivier Killijian Jean-Charles Fabre Pascale Thévenod-Fosse Reflective Fault-Tolerant Systems: From Experience to Challenges. 237-254 2003 52 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2003.1176989 http://doi.ieeecomputersociety.org/10.1109/TC.2003.1176989 db/journals/tc/tc52.html#Ruiz-GarciaKFT03

Olfa Abdellatif-Kaddour Pascale Thévenod-Fosse Hélène Waeselynck Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. 1128-1134 2003 conf/sac/2003 SAC db/conf/sac/sac2003.html#Abdellatif-KaddourTW03 https://doi.org/10.1145/952532.952752 Fabrizio Grandoni 0002 Pascale Thévenod-Fosse Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings EDCC Lecture Notes in Computer Science 2485 Springer 2002 3-540-00012-7 https://doi.org/10.1007/3-540-36080-8 db/conf/edcc/edcc2002.html Philippe Chevalley Pascale Thévenod-Fosse Automated Generation of Statistical Test Cases from UML State Diagrams. 205-214 2001 conf/compsac/2001 COMPSAC https://doi.org/10.1109/CMPSAC.2001.960618 https://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960618 db/conf/compsac/compsac2001.html#ChevalleyT01 Juan-Carlos Ruiz-Garcia 0001 Pascale Thévenod-Fosse Jean-Charles Fabre A Strategy for Testing MetaObject Protocols in Reflective Architectures. 327-336 2001 conf/dsn/2001 DSN https://doi.org/10.1109/DSN.2001.941417 https://doi.ieeecomputersociety.org/10.1109/DSN.2001.941417 db/conf/dsn/dsn2001.html#RuizTF01 Philippe Chevalley Pascale Thévenod-Fosse An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study. 254-263 2001 conf/issre/2001 ISSRE https://doi.org/10.1109/ISSRE.2001.989479 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2001.989479 db/conf/issre/issre2001.html#ChevalleyT01 Juan-Carlos Ruiz-Garcia 0001 Jean-Charles Fabre Pascale Thévenod-Fosse Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems. 134-152 2001 conf/reflection/2001 Reflection https://doi.org/10.1007/3-540-45429-2_11 db/conf/reflection/reflection2001.html#Ruiz-GarciaFT01 Yvan Labiche Pascale Thévenod-Fosse Hélène Waeselynck M.-H. Durand Testing levels for object-oriented software. 136-145 2000 conf/icse/2000 ICSE https://doi.org/10.1145/337180.337197 https://www.wikidata.org/entity/Q130963644 db/conf/icse/icse2000.html#LabicheTWD00

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. 387-404 1999 4 Empir. Softw. Eng. 4 db/journals/ese/ese4.html#BriandACHT99

Hélène Waeselynck Pascale Thévenod-Fosse A Case Study in Statistical Testing of Reusable Concurrent Objects. 401-418 1999 conf/edcc/1999 EDCC https://doi.org/10.1007/3-540-48254-7_27 db/conf/edcc/edcc1999.html#WaeselynckT99 Pascale Thévenod-Fosse Hélène Waeselynck Towards a Statistical Approach to Testing Object-Oriented Programs. 99-108 1997 conf/ftcs/1997 FTCS db/conf/ftcs/ftcs97.html#Thevenod-FosseW97 https://doi.org/10.1109/FTCS.1997.614082 https://doi.ieeecomputersociety.org/10.1109/FTCS.1997.614082 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? 320-321 1997 conf/vts/1997 VTS https://doi.ieeecomputersociety.org/10.1109/VTS.1997.10009 db/conf/vts/vts1997.html#AbrahamFLMPRT97 Muriel Daran Pascale Thévenod-Fosse Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. 158-171 1996 conf/issta/1996 ISSTA https://doi.org/10.1145/229000.226313 https://doi.org/10.1145/226295.226313 db/conf/issta/issta96.html#DaranT96 Pascale Thévenod-Fosse Christine Mazuet Yves Crouzet Defining the Unit Testing Level of Synchronous Data Flow Programs. 115-125 1996 SAFECOMP https://doi.org/10.1007/978-1-4471-0937-2_10 conf/safecomp/1996 db/conf/safecomp/safecomp1996.html#Thevenod-FosseM96 Pascale Thévenod-Fosse Christine Mazuet Yves Crouzet On Statistical Structural Testing of Synchronous Data Flow Programs. 250-267 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#Thevenod-FosseMC94 https://doi.org/10.1007/3-540-58426-9_135 Pascale Thévenod-Fosse Hélène Waeselynck STATEMATE Applied to Statistical Software Testing. 99-109 1993 conf/issta/1993 ISSTA https://doi.org/10.1145/154183.154262 https://doi.org/10.1145/174146.154262 db/conf/issta/issta93.html#Thevenod-FosseW93

Pascale Thévenod-Fosse Hélène Waeselynck An Investigation of Statistical Software Testing. 5-25 1991 1 Softw. Test. Verification Reliab. 2 db/journals/stvr/stvr1.html#Thevenod-FosseW91

Pascale Thévenod-Fosse Hélène Waeselynck Yves Crouzet An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. 410-417 1991 conf/ftcs/1991 FTCS db/conf/ftcs/ftcs91.html#Thevenod-FosseWC91 https://doi.org/10.1109/FTCS.1991.146694 Z. Abazi Pascale Thévenod-Fosse MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation. 95-106 1987 conf/icftcs/1987 Fehlertolerierende Rechensysteme db/conf/icftcs/icftcs1987.html#AbaziT87 https://doi.org/10.1007/978-3-642-45628-2_9 Hugues Deneux Pascale Thévenod-Fosse Random testing of LSI self-checking circuits. 380-390 1984 conf/icftcs/1984 Fehlertolerierende Rechensysteme db/conf/icftcs/icftcs1984.html#DeneuxT84 https://doi.org/10.1007/978-3-642-69698-5_31

René David Pascale Thévenod-Fosse Minimal Detecting Transition Sequences: Application to Random Testing. 514-518 1980 29 IEEE Trans. Computers 6 db/journals/tc/tc29.html#DavidT80 https://doi.org/10.1109/TC.1980.1675611 http://doi.ieeecomputersociety.org/10.1109/TC.1980.1675611

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. 1978 Grenoble Institute of Technology, France https://tel.archives-ouvertes.fr/tel-00288718 Pascale Thévenod-Fosse René David Random Testing of Memories. 139-153 1977 conf/gi/1977 GI Jahrestagung db/conf/gi/gi77.html#FosseD77 https://doi.org/10.1007/978-3-642-48908-2_9 Z. Abazi Olfa Abdellatif-Kaddour J. Abraham Erik Arisholm Lionel C. Briand Philippe Chevalley Steve Counsell Yves Crouzet Muriel Daran René David Hugues Deneux M.-H. Durand Jean-Charles Fabre Phyllis G. Frankl Fabrizio Grandoni 0002 Frank Houdek Marc-Olivier Killijian Yvan Labiche Christian Landrault Meryem Marzouki Christine Mazuet Paolo Prinetto Chantal Robach Juan-Carlos Ruiz-Garcia 0001 Hélène Waeselynck