"CriticAL: A critic for APIs and libraries."

Chandan Raj Rupakheti, Daqing Hou (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics