Foundations of Software Testing Chapter 3: Test Generation: Finite State Models Last update: September 3, 2007 These slides are copyrighted. They are for.
A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976.
Predicate Complete Testing * Thomas Ball * Thomas Ball, A Theory of Predicate-Complete Test Coverage and Generation, Technical Report MSR-TR-2004- 28,