Incremental Refinement Checking for Test Case Generation.

Bernhard K. Aichernig Elisabeth Jöbstl Matthias Kegele

Published in: TAP@STAF (2013)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
object oriented
real time
hybrid algorithm
java programs
simulated annealing algorithm
static analysis
source code
multi objective
evolutionary algorithm
case study
artificial intelligence
data sets