LoginSignup
0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

アプリケーションのパフォーマンス最適化のTipsをシェアしよう！
Qiita Tech Festa20252025年7月15日まで開催中！
@kaizen_nagoya(Dr. Kiyoshi Ogawa)

Killing strategies for model-based mutation testing

Posted at

Killing strategies for model-based mutation testing
https://www.researchgate.net/publication/260411804_Killing_strategies_for_model-based_mutation_testing

REFERENCES

  1. Bernot G, Gaudel MC, Marre B. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal 1991; 6(6):387–405.
  2. Gaudel MC. Testing can be formal, too. 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT ’95), Lecture Notes in Computer Science, vol. 915, Springer, 1995; 82–96.
  3. Hamlet RG. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering 1977;3(4):279–290.
  4. DeMillo R, Lipton R, Sayward F. Hints on test data selection: Help for the practicing programmer. IEEE Computer April 1978; 11(4):34–41.
  5. Tretmans J. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 1996; 17(3):103–120.
  6. Krenn W, Schlick R, Aichernig BK. Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. Formal Methods for Components and Objects (FMCO) 2009, Lecture
    Notes in Computer Science, vol. 6286, Springer, 2009; 186–207.
  7. Aichernig BK, Brandl H, J¨obstl E, KrennW. UML in action: a two-layered interpretation for testing. ACM SIGSOFT Software Engineering Notes 2011; 36(1):1–8. UML&FM 2010: Third IEEE International workshop UML and Formal Methods.
  8. Aichernig BK, Brandl H, J¨obstl E, Krenn W. Model-based mutation testing of hybrid systems. Formal Methods for Components and Objects (FMCO) 2009, Lecture Notes in Computer Science, vol. 6286, Springer, 2010; 228–249.
  9. Brandl H,Weiglhofer M, Aichernig BK. Automated conformance verification of hybrid systems. IEEE, 2010; 3–12. Copyright c 0000 John Wiley & Sons, Ltd. Softw. Test. Verif. Reliab. (0000) Prepared using stvrauth.cls DOI: 10.1002/stvr
  10. Jard C, J´eron T. TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer (STTT) 2005; 7(4):297–315.
  11. Aichernig BK, Brandl H, J¨obstl E, Krenn W. Efficient mutation killers in action. 4th International Conference on Software Testing, Verification and Validation (ICST 2011), IEEE, 2011; 120–129.
  12. Tretmans J. Model based testing with labelled transition systems. Formal Methods and Testing, Lecture Notes in Computer Science, vol. 4949, Springer, 2008; 1–38.
  13. Back RJ, Kurki-Suonio R. Decentralization of process nets with centralized control. Distributed Computing 1989; 3(2):73–87.
  14. Ma YS, Offutt J, Kwon YR. MuJava: an automated class mutation system. Software Testing, Verification and Reliability (STVR) 2005; 15(2):97–133.
  15. Aichernig BK, J¨obstl E. Towards symbolic model-based mutation testing: Combining reachability and refinement checking. 7th Workshop on Model-Based Testing (MBT 2012), EPTCS, vol. 80, 2012; 88–102.
  16. Offutt J. Investigations of the software testing coupling effect. ACM Transactions on Software Engineering Methodology Jan 1992; 1(1):5–20, doi:10.1145/125489.125473. URL http://doi.acm.org/10.1145/125489.125473.
  17. Offutt J, Abdurazik A. Generating tests from UML specifications. UML’99, Lecture Notes in Computer Science, Springer, 1999; 416–429.
  18. Gnesi S, Latella D, Massink M. Formal test-case generation for UML statecharts. 9th IEEE International Conference on Engineering of Complex Computer Systems, IEEE, 2004; 75–84.
  19. Seifert D, Helke S, Santen T. Test case generation for UML statecharts. Ershov Memorial Conference, Lecture Notes in Computer Science, vol. 2890, Springer, 2003; 462–468.
  20. Fr¨ohlich P, Link J. Automated test case generation from dynamic models. 14th European Conference on Object-Oriented Programming (ECOOP 2000), Lecture Notes in Computer Science, vol. 1850, Springer, 2000; 472–492.
  21. Utting M, Legeard B. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, 2007.
  22. Budd TA, Gopal AS. Program testing by specification mutation. Computer languages 1985; 10(1):63–73.
  23. Stocks PA. Applying formal methods to software testing. PhD Thesis, Department of computer science, University of Queensland 1993.
  24. Ammann PE, Black PE, Majurski W. Using model checking to generate tests from specifications. 2nd IEEE International Conference on Formal Engineering Methods (ICFEM’98), IEEE, 1998; 46–54.
  25. Aichernig BK, Peischl B, Weiglhofer M, Wotawa F. Protocol conformance testing a SIP registrar: An industrial application of formal methods. 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), IEEE, 2007; 215–224.
  26. Fabbri SCPF, Maldonado JC, Sugeta T, Masiero PC. Mutation testing applied to validate specifications based on Statecharts. 10th International Symposium on Software Reliability Engineering (ISSRE’99), IEEE Computer Society, 1999; 210–219.
  27. Hierons RM, Merayo MG. Mutation testing from probabilistic finite state machines. Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION ’07), IEEE, 2007; 141–150.
  28. Briand LC, Penta MD, Labiche Y. Assessing and improving state-based class testing: A series of experiments. IEEE Transactions on Software Engineering 2004; 30(11):770–793.
  29. Black PE, Okun V, Yesha Y. Mutation operators for specifications. 15th IEEE International Conference on Automated Software Engineering (ASE 2000), IEEE Computer Science, 2000; 81–89.
  30. Hessel A, Larsen KG, Mikucionis M, Nielsen B, Pettersson P, Skou A. Testing real-time systems using UPPAAL. Formal Methods and Testing, 2008; 77–117.
  31. Jia Y, Harman M. An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering 2011; 37(5):649–678.
  32. Aichernig BK, J¨obstl E. Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints. Workshops Proc. of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), IEEE, 2012; 752 – 757.
  33. Aichernig BK, J¨obstl E. Efficient refinement checking for model-based mutation testing. 12th Int. Conf. on Quality Software (QSIC 2012), IEEE, 2012; 21–30.
  34. Aichernig BK, J¨obstl E, Kegele M. Incremental refinement checking for test case generation. Tests and Proofs, Lecture Notes in Computer Science, vol. 7942, Veanes M, Vigan L (eds.). Springer, 2013; 1–9.
0
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?