Using Formal Methods to Derive Test Frames in Category-Partition Testing
P. Ammann, and J. Offutt. Compass'94: 9th Annual Conference on Computer Assurance, page 69--80. Gaithersburg, MD, National Institute of Standards and Technology, (1994)
Description
Using Formal Methods To Derive Test Frames In Category-Partition Testing - Ammann, Offutt (ResearchIndex)
%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
}