Mining Temporal Specifications for Error Detection
Bug isolation via remote program sampling