"Mutually Enhancing Test Generation and Specification Inference."

Tao Xie, David Notkin (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics