BETTIN, Giovanna C.; GERALDI, Ricardo Theis ; OLIVEIRAJR, Edson. Experimental Evaluation of the SMartyCheck Techinique for Inspecting Defects in UML Component Diagrams. In: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 17. , 2018, Curitiba. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . p. 101-110.