Alan Hartman, Kenneth Nagin. The AGEDIS Tools for Model Based Testing. In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez, editors, UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Volume 3297 of Lecture Notes in Computer Science, pages 277-280, Springer, 2004. [doi]
Abstract is missing.