Symbolic Execution Techniques Extended to Systems.

Christophe Gaston Marc Aiguier Diane Bahrami Arnault Lapitre

Published in: ICSEA (2009)

Keyphrases

symbolic execution
distributed systems
database
databases
case study
data management
error rate
test data generation