Automated Program Flaw Finding Using Simulated Annealing

  title={Automated Program Flaw Finding Using Simulated Annealing},
  author={Nigel J. Tracey and John A. Clark and Keith Mander},
One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. The framework can incorporate a number of testing criteria, for both functional and non-functional properties. Application of the optimisation framework to testing specification failures and exception conditions is illustrated. The results of a number of small case studies are presented and show the efficiency and… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 256 citations. REVIEW CITATIONS


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

257 Citations

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

See our FAQ for additional information.


Publications referenced by this paper.

Solving constraints in law 22117

  • J. Clark, N. Tracey
  • Law/d5.1.1(e), European Commission - DG III…
  • 1997
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…