Automatic Generation of Test Scripts from Formal Test Specifications.
Marc J. Balcer, William M. Hasling, Thomas J. Ostrand
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/BalcerHO89 ↗
Browse the full ISSTA paper archive.