BARROCA, Bruno; LUCIO, Levi; AMARAL, Vasco; PEDRO, Luis; BUCHS, Didier. DSL Composition for model-based test generation. Electronic Communications of the EASST, [S. l.], v. 21, 2009. DOI: 10.14279/tuj.eceasst.21.301. Disponível em: https://eceasst.org/index.php/eceasst/article/view/1579. Acesso em: 21 nov. 2024.