Constraint-Based Automatic Test Data Generation

  title={Constraint-Based Automatic Test Data Generation},
  author={Richard A. DeMillo and A. Jefferson Offutt},
  journal={IEEE Trans. Software Eng.},
This paper presents a new technique for automatically generating test data. The technique is based on mutation analysis and creates test data that approximates relative-adequacy. The technique is a fault-based technique that uses algebraic constraints to describe test cases designed to nd particular types of faults. A set of tools, collectively called Godzilla, has been implemented that automatically generates constraints and solves them to create test cases for unit and module testing… CONTINUE READING
Highly Influential
This paper has highly influenced 53 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 814 citations. REVIEW CITATIONS


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

815 Citations

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

See our FAQ for additional information.


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

Experimental results of automatically generated adequate test sets

  • R. A. DeMillo, A. J. O utt
  • In Proceedings of the Sixth Annual Paci c…
  • 1988
Highly Influential
4 Excerpts

The Analysis of Algorithms

  • Paul Purdom, Cynthia Brown
  • Holt, Reinhart and Winston,
  • 1985
Highly Influential
3 Excerpts

Mutation Analysis of Program Test Data

  • T. A. Budd
  • PhD thesis,
  • 1980
Highly Influential
6 Excerpts

Mutation analysis

  • A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, F. G. Sayward
  • Technical report GIT-ICS-79/08,
  • 1979
Highly Influential
12 Excerpts

TBM: A testbed management tool

  • M. J. Harrold, R. Gupta, M. L. So a
  • In Proceedings of the Seventh International…
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…