G. Bettin, R. Geraldi, and E. OliveiraJr.
"Experimental Evaluation of the SMartyCheck Techinique for Inspecting Defects in UML Component Diagrams", in <em>Anais do XVII Simpósio Brasileiro de Qualidade de Software</em>, Curitiba, 2018, pp. 101-110.