%0 Conference Paper %1 KoopmanAlTrPl03 %A Koopman, Pieter %A Alimarine, Artem %A Tretmans, Jan %A Plasmeijer, Rinus %B Implementation of Functional Languages (IFL'02) %D 2003 %I Springer %K ase automated_testing gast software_engineering theorem_proving %T GAST: Generic Automated Software Testing %U http://dx.doi.org/10.1007/3-540-44854-3_6 %V 2670 %X Software testing is a labor-intensive, and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test tool. Properties about functions and datatypes can be expressed in first order logic. Gast automaticallyand systematically generates appropriate test data, evaluates the property for these values, and analyzes the test results.This makes it easier and cheaper to test software components. The distinguishing property of our system is that the test dataare generated in a systematic and generic way using generic programming techniques. This implies that there is no need forthe user to indicate how data should be generated. Moreover, duplicated tests are avoided, and for finite domains Gast isable to prove a property by testing it for all possible values. As an important side-effect, it also encourages stating formalproperties of the software.

@inproceedings{KoopmanAlTrPl03, abstract = {Software testing is a labor-intensive, and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test tool. Properties about functions and datatypes can be expressed in first order logic. Gast automaticallyand systematically generates appropriate test data, evaluates the property for these values, and analyzes the test results.This makes it easier and cheaper to test software components. The distinguishing property of our system is that the test dataare generated in a systematic and generic way using generic programming techniques. This implies that there is no need forthe user to indicate how data should be generated. Moreover, duplicated tests are avoided, and for finite domains Gast isable to prove a property by testing it for all possible values. As an important side-effect, it also encourages stating formalproperties of the software.}, added-at = {2008-12-06T22:22:13.000+0100}, author = {Koopman, Pieter and Alimarine, Artem and Tretmans, Jan and Plasmeijer, Rinus}, biburl = {https://www.bibsonomy.org/bibtex/24a2eb62c71f1986ed81711ad98a23edc/emanuel}, booktitle = {Implementation of Functional Languages (IFL'02)}, interhash = {6c9bf64fb96f293cc59780a881894365}, intrahash = {4a2eb62c71f1986ed81711ad98a23edc}, keywords = {ase automated_testing gast software_engineering theorem_proving}, publisher = {Springer}, series = {LNCS}, timestamp = {2008-12-06T22:22:13.000+0100}, title = {{GAST}: Generic Automated Software Testing}, url = {http://dx.doi.org/10.1007/3-540-44854-3_6}, volume = 2670, year = 2003 }