High-Coverage Symbolic Patch Testing.

Paul Dan Marinescu Cristian Cadar

Published in: SPIN (2012)

Keyphrases

test suite
wide range
test cases
image patches
information systems
high level
data sets
knowledge base
search algorithm
symbolic representation