%0 Conference Paper %1 conf/issta/BalcerHO89 %A Balcer, Marc J. %A Hasling, William M. %A Ostrand, Thomas J. %B Symposium on Testing, Analysis, and Verification %D 1989 %E Kemmerer, Richard A. %I ACM %K dblp %P 210-218 %T Automatic Generation of Test Scripts from Formal Test Specifications. %U http://dblp.uni-trier.de/db/conf/issta/tav89.html#BalcerHO89 %@ 0-89791-342-6

@inproceedings{conf/issta/BalcerHO89, added-at = {2022-02-18T00:00:00.000+0100}, author = {Balcer, Marc J. and Hasling, William M. and Ostrand, Thomas J.}, biburl = {https://www.bibsonomy.org/bibtex/2ca7475faa34feced07a13df4addcfa1c/dblp}, booktitle = {Symposium on Testing, Analysis, and Verification}, crossref = {conf/issta/1989}, editor = {Kemmerer, Richard A.}, ee = {https://doi.org/10.1145/75309.75332}, interhash = {08bdfef8093946dd42de217718e3442e}, intrahash = {ca7475faa34feced07a13df4addcfa1c}, isbn = {0-89791-342-6}, keywords = {dblp}, pages = {210-218}, publisher = {ACM}, timestamp = {2024-04-09T20:41:38.000+0200}, title = {Automatic Generation of Test Scripts from Formal Test Specifications.}, url = {http://dblp.uni-trier.de/db/conf/issta/tav89.html#BalcerHO89}, year = 1989 }