João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo. Structural conformance checking with design tests: An evaluation of usability and calability. In IEEE 27th International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011. pages 143-152, IEEE, 2011. [doi]