Search State Equivalence for Redundancy Identification and Test Generation.

John Giraldi Michael L. Bushnell

Published in: ITC (1991)

Keyphrases

test generation
search algorithm
computer vision
search space
symbolic execution
artificial intelligence
test cases
static analysis
test sequences
database
video sequences
relational databases
open source
software testing
test data generation