Abstraction-driven Concolic Testing.

Przemyslaw Daca Ashutosh Gupta Thomas A. Henzinger

Published in: VMCAI (2016)

Keyphrases

high level
software testing
three dimensional
data driven
computer vision
information systems
test set
machine learning
search algorithm
test cases
test generation