A Framework for Guided Test Case Generation in Constraint Logic Programming

  • José Miguel Rojas
  • Miguel Gómez-Zamalloa
Conference paper

DOI: 10.1007/978-3-642-38197-3_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7844)
Cite this paper as:
Rojas J.M., Gómez-Zamalloa M. (2013) A Framework for Guided Test Case Generation in Constraint Logic Programming. In: Albert E. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2012. Lecture Notes in Computer Science, vol 7844. Springer, Berlin, Heidelberg


Performing test case generation by symbolic execution on large programs becomes quickly impracticable due to the path explosion problem. A common limitation that this problem poses is the generation of unnecessarily large number of possibly irrelevant or redundant test cases even for medium-size programs. Tackling the path explosion problem and selecting high quality test cases are considered major challenges in the software testing community. In this paper we propose a constraint logic programming-based framework to guide symbolic execution and thus test case generation towards a more relevant and potentially smaller subset of paths in the program under test. The framework is realized as a tool and empirical results demonstrate its applicability and effectiveness. We show how the framework can help to obtain high quality test cases and to alleviate the scalability issues that limit most symbolic execution-based test generation approaches.


Constraint Logic Programming Guided Test Case Generation Software Testing Symbolic Execution Trace-abstraction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • José Miguel Rojas
    • 1
  • Miguel Gómez-Zamalloa
    • 2
  1. 1.Technical University of MadridSpain
  2. 2.DSICComplutense University of MadridSpain

Personalised recommendations