Targeted test input generation using symbolic-concrete backward execution.

Peter Dinges Gul A. Agha

Published in: ASE (2014)

Keyphrases

high level
data sets
input data
generation process
information retrieval
artificial intelligence
computer vision
information systems
test cases
statistical tests
state transition
software testing
generation method