Paul W. Horstmann. Design for Testability Using Logic Programming. In Proceedings International Test Conference 1983, Philadelphia, PA, USA, October 1983. pages 706-713, IEEE Computer Society, 1983.
@inproceedings{Horstmann83,
title = {Design for Testability Using Logic Programming},
author = {Paul W. Horstmann},
year = {1983},
tags = {testing, logic programming, programming, logic, design},
researchr = {https://researchr.org/publication/Horstmann83},
cites = {0},
citedby = {0},
pages = {706-713},
booktitle = {Proceedings International Test Conference 1983, Philadelphia, PA, USA, October 1983},
publisher = {IEEE Computer Society},
}