SMArTIC: towards building an accurate, robust and scalable specification miner
Data Mining: Concepts and Techniques