ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. - Eliane Martins; Selma B. Sabião; Ana Maria Ambrosio (Softw. Qual. J., 1999)