Marc J. Balcer William M. Hasling Thomas J. Ostrand Automatic Generation of Test Scripts from Formal Test Specifications. 210-218 1989 conf/issta/1989 Symposium on Testing, Analysis, and Verification https://doi.org/10.1145/75308.75332 https://doi.org/10.1145/75309.75332 db/conf/issta/tav89.html#BalcerHO89