Answers are grounded in this paper and cite their sources.
1.1 Keywords Automatic test-case generation, software testing, formal specifica-tions, exception conditions, optimisation techniques, simulated annealing.
No takes yet. Share an insight, caveat, or question.
Tracey et al. (1998) studied this question.