Key points are not available for this paper at this time.
This paper presents the operational difference technique for generating, augmenting, and minimizing test suites. The technique is analogous to structural code coverage tech-niques, but it operates in the semantic domain of program properties rather than the syntactic domain of program text. The operational difference technique automatically se-lects test cases; it assumes only the existence of a source of test cases. The technique dynamically generates opera-tional abstractions (which describe observed behavior and are syntactically identical to formal specifications)from test suite executions. Test suites can be generated by adding cases until the operational bstraction stops changing. The resulting test suites are as small, and detect as many faults, as suites with 100 % branch coverage, and are better at de-tecting certain common faults. This paper also presents the area and stacking tech-niques for comparing test suite generation strategies; these techniques avoid bias due to test suite size. 1
Harder et al. (Sat,) studied this question.