Mining Temporal Specifications for Error Detection
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.