Augmented dynamic symbolic execution.

Konrad Jamrozik Gordon Fraser Nikolai Tillmann Jonathan de Halleux

Published in: ASE (2012)

Keyphrases

symbolic execution
test data generation
general purpose
real world
artificial intelligence
open source
source code
error rate
quality assessment
quality control
specification language
simulated annealing algorithm