"Software Library Usage Pattern Extraction Using a Software Model Checker."

Chang Liu, En Ye, Debra J. Richardson (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics