@inproceedings{Ammann1994,
title = {Using Formal Methods to Derive Test Frames in Category-Partition Testing},
address = {Gaithersburg, MD},
author = {Paul Ammann and Jeff Offutt},
booktitle = {Compass'94: 9th Annual Conference on Computer Assurance},
pages = {69--80},
publisher = {National Institute of Standards and Technology},
url = {citeseer.ist.psu.edu/ammann94using.html},
year = {1994},
description = {Using Formal Methods To Derive Test Frames In Category-Partition Testing - Ammann, Offutt (ResearchIndex)},
keywords = {ADT Domain-Partitioning TSL Z category-partition testing }
}
::