The Evolution of System-Call Monitoring
Mining Temporal Specifications for Error Detection