"Scenario-based and value-based specification mining: better together."

David Lo, Shahar Maoz (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics