Generating distinguishing tests using the MINION constraint solver

ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Volumn , Issue , 2010, Pages 325-330

  Wotawa, Franz ^a   Nica, Mihai ^a   Aichernig, Bernhard K ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DEBUGGING; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; MUTATION TESTING; TEST CASE; TEST VECTORS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; VERIFICATION;

SOFTWARE TESTING;

EID: 77953767054     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2010.11     Document Type: Conference Paper

References (25)

1. M. M. Brandis and H. Mössenböck. Single-pass generation of static assignment form for structured languages. ACM TOPLAS, 16(6):1684-1698, 1994.
2. R. Ceballos and R. M. Gasca and C. Del Valle and D. Borrego. Diagnosing Errors in DbC Programs Using Constraint Programming. Lecture Notes in Computer Science, Vol. 4177, Pages 200-210, 2006.
3. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS, 13(4):451-490, 1991.
4. H. Collavizza and M. Rueher. Exploring Different Constraint-Based Modelings for Program Verification. In Principles and Practice of Constraint Programming (CP 2007), pages 49-63, Providence, RI, USA, September 2007.
5. R. Dechter. Constraint Processing. Morgan Kaufmann, 2003.
6. R. A. DeMillo and A. J. Offutt Constraint-based Automatic Test Data Generation IEEE Transactions on Software Engineering, 17(9):900-910, September 1991.
7. Tristan Denmat, Arnaud Gotlieb and Mireille Ducassé, Proving or Disproving likely Iniants with Constraint Reasoning, In Proceedings of the 15th Workshop on Logic-based methods in Programming Environments October 2005, Sitges, Spain.
8. I. P. Gent, C. Jefferson, I. Miguel. MINION: A Fast, Scalable, Constraint Solver. 17th European Conference on Artificial Intelligence (ECAI-06). Riva del Garda, Italy, 2006.
9. A. Gotlieb and B. Botella and M. Rueher. Automatic Test Data Generation using Constraint Solving Techniques. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). 1998.
10. A. Gotlieb and B. Botella and M. Rueher. A CLP Framework for Computing Structural Test Data. In Proceedings of the International Conference on Computational Logic (CL). pp 399-413, Springer LNAI 1861, 2000.
11. MINION, 2009. http://minion.sourceforge.net.
12. M.N. Wegman and F.K. Zadek. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13(2), April 1991.
13. F. Wotawa, M. Nica. On the Compilation of Programs into their equivalent Constraint Representation. In Informatica Journal, Volume 32, pages 359-371, 2008.
14. S. Woods and Q. Yang, Q, Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques, Automated Software Engineering, 5(2):147-181, April 1998.
15. Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, and Jan Rutten. Fault-based test case generation for component connectors. In TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, July 29-31, pages 147-154. IEEE Computer Society, July 2009. Copyright by IEEE.
16. Bernhard K. Aichernig and Carlo Corrales Delgado. From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In Luciano Baresi and Reiko Heckel, editors, Proceedings of FASE'06, Fundamental Approaches to Software Engineering, Vienna, Austria, March 27-29, 2006, volume 3922 of Lecture Notes in Computer Science, pages 324-338. Springer-Verlag, 2006.
17. Bernhard K. Aichernig and Jifeng He. Mutation testing in UTP. Formal Aspects of Computing, 21(1-2):33-64, February 2009. Copyright owned by BCS. The original publication is available at springerlink.com.
18. Bernhard K. Aichernig and Percy Antonio Pari Salas. Test case generation by OCL mutation and constraint solving. In Kai-Yuan Cai and Atsushi Ohnishi, editors, QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, September 19-21, 2005, pages 64-71. IEEE Computer Society Press, 2005.
19. R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
20. Richard G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, 3(4):279-290, July 1977.
21. Willibald Krenn and Bernhard K. Aichernig. Test case generation by contract mutation in Spec#. In Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253 (2) of Electronic Notes in Theoretical Computer Science, pages 71-86. Elsevier, October 2009.
22. Daniel Kroening. Automated test-case generation for simulink. Presentation at FMCO 2009, Software Technologies Concertation on Formal Methods for Components and Objects, Nov. 4-5, Eindhoven, The Netherlands, November 2009.
23. K.-C. Tai and H.-K. Su. Test generation for Boolean expressions. In Proceedings of the Eleventh Annual International Computer Software and Applications Conference (COMPSAC), pages 278-284, 1987.
24. Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. Fault-based conformance testing in practice. International Journal of Software and Informatics, 3(2-3):375-411, June/September 2009.
25. G. Fraser and F. Wotawa. Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPARTMUTATION). pp. 161 - 168, 2007.