On test repair using symbolic execution.

Brett Daniel Tihomir Gvero Darko Marinov

Published in: ISSTA (2010)

Keyphrases

symbolic execution
test generation
test data generation
test cases
software testing
simulated annealing algorithm
real world
object oriented
source code
static analysis
data model
multi objective
machine vision
data flow
specification language