Classification of software behaviors for failure detection: a discriminative pattern mining approach
SMArTIC: towards building an accurate, robust and scalable specification miner