A theory of predicate-complete test coverage and generation. (2005)

by T Ball
Venue:In Formal Methods for Components and Objects,