Mutually Enhancing Test Generation and Specification Inference (2004)

by Tao Xie, David Notkin
Venue:Formal Approaches to Software Testing