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

James L. Crowley, James F. Leathrum, K. A. Liburdy

Browse the full ISSTA paper archive.