%0 Conference Paper %1 Balcer1989 %A Balcer, Marc J. %A Hasling, William M. %A Ostrand, Thomas J. %B Symposium on Testing, Analysis, and Verification %D 1989 %K TSL category-partition testing %P 210-218 %T Automatic Generation of Test Scripts from Formal Test Specifications %X TSL is a language for writing formal test specifications of the functions of a software system. The test specifications are compiled into executable test scripts that establish test environments, assign values to input variables, perform necessary setup and cleanup operations, run the test cases, and check the correctness of test results. TSL is a working system that has been used to test commercial software in a production.

@inproceedings{Balcer1989, abstract = {TSL is a language for writing formal test specifications of the functions of a software system. The test specifications are compiled into executable test scripts that establish test environments, assign values to input variables, perform necessary setup and cleanup operations, run the test cases, and check the correctness of test results. TSL is a working system that has been used to test commercial software in a production.}, added-at = {2008-09-11T12:26:41.000+0200}, author = {Balcer, Marc J. and Hasling, William M. and Ostrand, Thomas J.}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/20c549af374d78951b97b7695cd847f7d/ist_spl}, booktitle = {Symposium on Testing, Analysis, and Verification}, description = {DBLP Record 'conf/issta/BalcerHO89'}, ee = {http://doi.acm.org/10.1145/75308.75332}, interhash = {08bdfef8093946dd42de217718e3442e}, intrahash = {0c549af374d78951b97b7695cd847f7d}, keywords = {TSL category-partition testing}, note = {MR: Formalismen zu der Category-Partition-Methode mittels TSL}, pages = {210-218}, timestamp = {2008-09-11T12:26:41.000+0200}, title = {Automatic Generation of Test Scripts from Formal Test Specifications}, year = 1989 }