E. Kofi Vida-Torku, Beverly Messick Huey. Petri Net based search directing heuristics for test generation. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 323-330, ACM/IEEE, 1983. [doi]
@inproceedings{Vida-TorkuH83,
title = {Petri Net based search directing heuristics for test generation},
author = {E. Kofi Vida-Torku and Beverly Messick Huey},
year = {1983},
url = {http://dl.acm.org/citation.cfm?id=800684},
researchr = {https://researchr.org/publication/Vida-TorkuH83},
cites = {0},
citedby = {0},
pages = {323-330},
booktitle = {Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983},
editor = {Charles E. Radke},
publisher = {ACM/IEEE},
isbn = {0-8186-0026-8},
}