"Scalable specification mining for verification and diagnosis."

Wenchao Li, Alessandro Forin, Sanjit A. Seshia (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics