Test Case Generation for Object-Oriented Imperative Languages in CLP

  title={Test Case Generation for Object-Oriented Imperative Languages in CLP},
  author={Miguel G{\'o}mez-Zamalloa and Elvira Albert and Germ{\'a}n Puebla},
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an objectoriented (OO) imperative language, symbolic execution… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 30 extracted citations

53 Citations

Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

Modelling Dynamic Memory Management in Constraint-Based Testing

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) • 2007
View 4 Excerpts
Highly Influenced

A symbolic Java virtual machine for test case generation

IASTED Conf. on Software Engineering • 2004
View 4 Excerpts
Highly Influenced

Automatic Test Generation for Dynamic Data Structures

5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) • 2007
View 1 Excerpt

Similar Papers

Loading similar papers…