Dynamic Symbolic Execution of Distributed Concurrent Objects.

Andreas Griesmayer Bernhard K. Aichernig Einar Broch Johnsen Rudolf Schlatte

Published in: FMOODS/FORTE (2009)

Keyphrases

symbolic execution
distributed systems
multi agent
test generation
dynamically created
state space
distributed constraint satisfaction problems
search algorithm
test data generation