C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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