Using mutation analysis to evaluate test generation strategies in a synchronous context

2nd International Conference on Software Engineering Advances - ICSEA 2007

Volumn , Issue , 2007, Pages

  Du Bousquet, L ^a   Delaunay, M ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ENVIRONMENT DESCRIPTIONS; MUTATION ANALYSIS; SYNCHRONOUS SOFTWARES; TEST DATUMS; TEST GENERATIONS;

TESTING;

EID: 47849088450     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2007.83     Document Type: Conference Paper

References (27)

1. H. Agrawal, R. Demillo, R. Hathaway, Wm. Hsu, W. Hsu, E. Krauser, R. J. Martin, A. Mathur, and E. Spafford. Design of Mutant Operators for the C Programming Language. Technical Report SERC-TR-41-P, Soft. Eng. Research Center, Dep. of Computer Science, Purdue Univ., Indiana, 1989.
2. J. H. Andrews, L. C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In 27th International Conference on Software Engineering (ICSE'05), pages 402-411, St. Louis, Missouri, USA, May 2005. ACM.
3. A. Benveniste and G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE, 79(9):1270-1282, 1991.
4. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, 2003.
5. F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293-1304, 1991.
6. R. DeMillo, D. Guindi, K. King, M. M. McCracken, and J. Offutt. An extended overview of the mothra software testing environment. In 2nd Workshop on Software Testing, Verification, and Analysis, pages 142-151, Banff, Canada, July 1988.
7. R.A. DeMillo, R.J. Lipton, and F.G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11, pages 34-41, 1978.
8. S. do Rocio Senger de Souza, J. C. Maldonado, S. C. P. F. Fabbri, and W. Lopes de Souza. Mutation testing applied to estelle specifications. In HICSS, 2000.
9. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering, pages 267-276. ACM Press, May 1999.
10. B.-M. Due. Conception et modélisation objet des systèmes temps réel. Eyrolles, 1998.
11. S. C. P. F. Fabbri, J. C. Maldonado, M. E. Delamaro, and P. C. Masiero. Mutation Testing applied to Validate Specifications Based on Statecharts. In 10th International Symposium on Software Reliability Engineering, Boca Radon, FL, USA, 1999.
12. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, and M. E. Delamaro. Proteum/fsm: A tool to support finite state machine validation based on mutation testing. In 19th International Conference of the Chilean Computer Science Society (SCCC '99), pages 96-104, Talca, Chile, November 1999. IEEE Computer Society.
13. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, and W. E. Wong. Mutation testing applied to validate specifications based on petri nets. In Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques (FORTE), volume 43 of IFIP Conference Proceedings, pages 329-337, Montreal, Canada, October 1995. Chapman & Hall.
14. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
15. N. Halbwachs, D. Pilaud, F. Ouabdesselam, and A-C. Glory. Specifying, Programming and Verifying Real-Time Systems, using a synchronous declarative language. In Workshop on automatic verification methods for finite state systems, LNCS 407, Grenoble, France, 1989. Springer Verlag.
16. L.J. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming, and L. Votta. Specification-based Testing of Reactive Software: Tools and Experiments. In 19th International Conference on Software Engineering, 1997.
17. A. Lakehal, F. Ouabdesselam, I. Parissis, and J. Vassy. Models for synchronous software testing. In First International Workshop on Model, Design and Validation, 2004, pages 41-50. IEEE, November 2004.
18. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming Real-Time Applications with SIGNAL. Proceedings of the IEEE, 79(9):1321-1336, 1991.
19. Y.-S. Ma, J. Offutt, and Y. R. Kwon. Mujava: an automated class mutation system. Softw. Test., Verif. Reliab., 15(2):97-133, 2005.
20. B. Marre and A. Arnould. Test Sequences Generation from Lustre Descriptions: GATeL. In 15th IEEE International Conference on Automated Software Engineering (ASE). IEEE, September 2000.
21. C. Mazuet. Stratégies de Test pour des Programmes Synchrones - Application au Langage Lustre. Thèse de doctorat, Institut National Polytechnique de Toulouse, Toulouse, France, decembre 1994.
22. T. B. Nguyen and C. Robach. Mutation Testing Applied to Hardware: the Mutants Generation. In Proceedings of the 11th IFIP International Conference on Very Large Scale Integration, pages 118-123, Montpellier, France, December 2001.
23. A. Jefferson Offutt, Jeff Voas, and Jeff Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-06, George Mason University, 1996.
24. F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, Monterey, USA, 1994.
25. I. Parissis and F. Ouabdesselam. Specification-based Testing of Synchronous Software. In 4th ACM SIGSOFT Symposium on the Foundation of Software Engineering, San Francisco, USA, 1996.
26. P. Raymond, D. Weber, X. Nicollin, and N. Halbwachs. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium (RTSS'98). IEEE, 1998.
27. W. Eric Wong. Mutation Testing for the New Century. Kluwer Academic Publishers, June 2001.