Petri Net based search directing heuristics for test generation.

E. Kofi Vida-Torku Beverly Messick Huey

Published in: DAC (1983)

Keyphrases

test generation
search algorithm
search methods
search strategies
test cases
search strategy
test sequences
search space
search heuristics
symbolic execution
image processing
test data generation
database systems
heuristic search
software testing
static analysis