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]
No references recorded for this publication.
No citations of this publication recorded.