Key points are not available for this paper at this time.
1 Keywords Automatic test-case generation, software testing, formal specifica-tions, exception conditions, optimisation techniques, simulated annealing.
Tracey et al. (Sun,) studied this question.