Dynamic Symbolic Execution for Testing Distributed Objects.

Andreas Griesmayer Bernhard K. Aichernig Einar Broch Johnsen Rudolf Schlatte

Published in: TAP@TOOLS (2009)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
distributed systems
source code
multi agent
error rate
data flow
database systems
genetic algorithm
test set
test cases
data sets
programming language
evolutionary algorithm
training set