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]
Abstract is missing.