%0 Conference Paper %1 Ammann1994 %A Ammann, Paul %A Offutt, Jeff %B Compass'94: 9th Annual Conference on Computer Assurance %C Gaithersburg, MD %D 1994 %I National Institute of Standards and Technology %K ADT Domain-Partitioning TSL Z category-partition testing %P 69--80 %T Using Formal Methods to Derive Test Frames in Category-Partition Testing %U citeseer.ist.psu.edu/ammann94using.html

@inproceedings{Ammann1994, added-at = {2008-06-26T16:27:03.000+0200}, address = {Gaithersburg, MD}, author = {Ammann, Paul and Offutt, Jeff}, biburl = {https://www.bibsonomy.org/bibtex/2e44d557afd9ec9c11e099f5c65a872b0/ist_spl}, booktitle = {Compass'94: 9th Annual Conference on Computer Assurance}, description = {Using Formal Methods To Derive Test Frames In Category-Partition Testing - Ammann, Offutt (ResearchIndex)}, interhash = {141287ca72a82cd2b316277e4e7cf452}, intrahash = {e44d557afd9ec9c11e099f5c65a872b0}, keywords = {ADT Domain-Partitioning TSL Z category-partition testing}, pages = {69--80}, publisher = {National Institute of Standards and Technology}, timestamp = {2008-06-26T16:29:15.000+0200}, title = {Using Formal Methods to Derive Test Frames in Category-Partition Testing}, url = {citeseer.ist.psu.edu/ammann94using.html}, year = 1994 }