When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.

Elisabeth Jöbstl Martin Weiglhofer Bernhard K. Aichernig Franz Wotawa

Published in: ICST (2010)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
test cases
neural network
heuristic search
software testing
genetic algorithm
simulated annealing algorithm
programming language
quality assurance
binary decision diagrams