The SESAME experience: From assembly languages to declarative models

2nd Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), MUTATION'06

Volumn , Issue , 2006, Pages 7-

  Crouzet, Yves ^a   Waeselynck, Hélène ^a   Lussier, Benjamin ^a   Powell, David ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; PASCAL (PROGRAMMING LANGUAGE); ROBOT PROGRAMMING; SOFTWARE TESTING;

ASSEMBLY LANGUAGE; DATA FLOW LANGUAGE; DECLARATIVE LANGUAGES; DECLARATIVE MODELS; EXPERIMENTAL RESEARCH; PROCEDURAL LANGUAGES; SOFTWARE ANALYSIS; SOFTWARE ENVIRONMENTS;

C (PROGRAMMING LANGUAGE);

EID: 48749128162     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MUTATION.2006.14     Document Type: Conference Paper

References (24)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J-C. Fabre, J-C. Laprie, E. Martins and D. Powell, "Fault injection for dependability validation: a methodology and some applications", IEEE Trans. on Software Engineering, Vol.16, no.2, pp.166-182, 1990.
2. J. Arlat, J. Boué, Y. Crouzet, E. Jenn, J. Aidemark, P. Folkesson, J. Karlsson, J. Ohlsson and M. Rimen, "MEFISTO: a series of prototype tools for fault injection into VHDL models", in Fault injection techniques and tools for embedded systems reliability evaluation, Kluwer Academic Publishers, ISBN 1-4020-7589-8, pp.177-193, 2003.
3. J. Arlat, J-C. Fabre, M. Rodriguez and F. Salles, "MAFALDA: a series of prototype tools for the assessment of real time COTS microkernel-based systems", in Fault injection techniques and tools for embedded systems reliability evaluation, Kluwer Academic Publishers, ISBN 1-4020-7589-8, pp.141-156, 2003.
4. A. Avizienis , J-C. Laprie, B. Randell and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing", IEEE Trans. on Dependable and Secure Computing, vol. 1, no. 1, pp.11-33, 2004.
5. P. Chevalley and P. Thévenod-Fosse, "A mutation analysis tool for Java programs", Int. Journal on Software Tools for Technology Transfer (STTT), vol. 5, no. 1, pp.90-103, 2003.
6. Y. Crouzet, P. Thévenod-Fosse and H. Waeselynck, "Validation du test du logiciel par injection de fautes: l'outil SESAME", in 11ème Colloque National de Fiabilité et Maintenabilité , Arcachon, France, pp.551-559, 1998.
7. M. Daran and P. Thévenod-Fosse, "Software error analysis: a real case study involving real faults and mutations", International Symposium on Software Testing and Analysis (ISSTA'96), San Diego, USA, ACM Press, pp.158-171, 1996.
8. M. Delamaro and J. Maldonado, "Proteum - A Tool for the Assessment of Test Adequacy for C Programs", Conference on Performability in Computing Systems (PCS 96), New Brunswick, USA, pp. 79-95, 1996.
9. R.A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: help for the practicing programmer", IEEE Computer, vol. 11, no. 4, pp. 34-41, 1978.
10. R.A. DeMillo and A.P. Mathur, "On the use of software artifacts to evaluate the effectiveness of mutation analysis for detecting errors in production software", Software Engineering Research Center Report, Purdue University, W. Lafayette, USA, 1994.
11. A. Denise, M.-C. Gaudel and S-D. Gouraud, "A Generic Method for Statistical Testing", 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'2004), Saint-Malo, France, IEEE CS Press, pp.25-34, 2004
12. M. Ghallab and H. Laruelle, "Representation and Control in IxTeT, a Temporal Planner", 2nd Int. Conf. on Artificial Intelligence Planning Systems (AIPS-94), Chicago, IL, USA, pp.61-67, AIAA Press, 1994.
13. R. Hierons, M. Harman and S. Danicic, "Using program slicing to assist in the detection of equivalent mutants", Software Testing, Verification and Reliability, vol. 9, no. 4, pp. 233-262, 1999.
14. K. Kanoun, Y. Crouzet, A. Kalakech, A. E. Rugina and P. Rumeau, "Benchmarking the Dependability of Windows and Linux using Postmark Workloads", 16th Int. Symp. on Software Reliability Engineering (ISSRE 2005), Chicago, IL, USA, IEEE CS Press, pp.11-20, 2005.
15. K. King and J. Offutt, "A Fortran Language System for Mutation-based Software Testing", Software Practice and Experience, vol. 21, no. 7, pp. 685-718, 1991.
16. G. Lussier and H. Waeselynck, "Deriving test sets from partial proofs", 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'2004), Saint-Malo, France, IEEE CS Press, pp. 14-24, 2004.
17. B. Lussier, A. Lampe, R. Chatila, J. Guiochet, F. Ingrand, M.-O. Killijian and D. Powell, "Fault Tolerance in Autonomous Systems: How and How Much?" in 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Nagoya, Japan, 2005.
18. rd Symposium on Testing, Analysis and Verification (TAV 3), Key West, USA, pp. 131-140, 1989.
19. J. Offutt and M. Craft "Using Compiler Optimization Techniques to Detect Equivalent Mutants", Journal of Software Testing, Verification, and Reliability, vol.4, no. 3, pp.131-154, 1994.
20. J. Offutt, A. Lee, G. Rothermel, R. H. Untch and C. Zapf, "An Experimental Determination of Sufficient Mutant Operators", ACM Trans. on Software Engineering Methodology, vol.5, no. 2, pp. 99-118, 1996.
21. J. Offutt and J. Pan, "Automatically Detecting Equivalent Mutants and Infeasible Paths", Journal of Software Testing, Verification, and Reliability, vol 7, no. 3, pp.165-192, 1997.
22. J. Offutt and R. Untch, "Mutation 2000: Uniting the Orthogonal", in Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, pp. 45-55, 2000.
23. P. Thévenod-Fosse, H. Waeselynck and Y. Crouzet, "Software statistical testing", in Predictably Dependable Computing Systems, B. Randell, J-C. Laprie, H. Kopetz & B. Littlewood (Eds), Springer Verlag, pp. 253-272, 1995.
24. P. Thévenod-Fosse and H. Waeselynck, "Software statistical testing based on structural and functional criteria", 11th International Software Quality Week (QW'98), vol. II, San Francisco, USA, 1998