Smartic: towards building an accurate, robust and scalable specification miner (2006)

by D Lo, S Khoo
Venue:In Proceedings of the Symposium on Foundations of Software Engineering