Avoiding Program Failures Through Safe Execution Perturbations.

Sriraman Tallam Chen Tian Rajiv Gupta Xiangyu Zhang

Published in: COMPSAC (2008)

Keyphrases

program execution
execution traces
control flow
failure recovery
data flow
symbolic execution
execution model
programming environment
control program
database
computer programs
static analysis
root cause
fault tolerance
test cases
distributed systems
social networks
data sets