David Lo, Siau-Cheng Khoo. SMArTIC: towards building an accurate, robust and scalable specification miner. In Michal Young, Premkumar T. Devanbu, editors, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006. pages 265-275, ACM, 2006. [doi]
Abstract is missing.