Issues in the Full Scale Use of Formal Methods for Automated Testing.

James L. Crowley James F. Leathrum K. A. Liburdy Issues in the Full Scale Use of Formal Methods for Automated Testing. 71-78 1996 ISSTA http://doi.acm.org/10.1145/229000.226303 db/conf/issta/issta96.html#CrowleyLL96