Petri Net based search directing heuristics for test generation. - E. Kofi Vida-Torku; Beverly Messick Huey (DAC, 1983)