Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.

Dawson R. Engler David Yu Chen Andy Chou

Published in: SOSP (2001)

Keyphrases

social networks
source code
intelligent systems
closely related
learning systems
management system
genetic algorithm
special case
learning algorithm
digital libraries
real time
retrieval systems
biological systems
static analysis
physical systems
dynamic analysis
legacy systems