Data mining and machine learning techniques have been used to learn baseline models of software behavior. Mined models help in understanding existing systems and reducing the cost incurred during software maintenance. Presenting a comprehensive overview of the emerging field of software specification mining, this book provides the latest tools to help researchers test, verify, and reengineer the systems that they are building or maintaining. It addresses the intersection between three research domains: software engineering, programming languages, and data mining. The book unifies existing research in mining software specification and examines the challenges and future trends in the field.