"Structural conformance checking with design tests: An evaluation of ..."

João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics