James F. Leathrum, K. A. Liburdy. A formal approach to requirements based testing in open systems standards. In ICRE. pages 94-101, 1996. [doi]
@inproceedings{LeathrumL96,
title = {A formal approach to requirements based testing in open systems standards},
author = {James F. Leathrum and K. A. Liburdy},
year = {1996},
url = {http://computer.org/proceedings/icre/7252/72520094abs.htm},
tags = {rule-based, testing, source-to-source, systematic-approach, open-source},
researchr = {https://researchr.org/publication/LeathrumL96},
cites = {0},
citedby = {0},
pages = {94-101},
booktitle = {ICRE},
}