Z Zuo, SC Khoo - Formal Methods and Software Engineering: 15th …, 2013 - Springer
Abstract Specification mining has become an attractive tool for assisting in numerous
software development and maintenance tasks. The majority of these techniques share a …