id: 05446421
dt: j
an: 05446421
au: Martins, Eliane; Sabião, Selma B.; Ambrosio, Ana Maria
ti: Condata: A tool for automating specification-based test case generation for
    communication systems.
so: Softw. Qual. J. 8, No. 4, 303-320 (1999).
py: 1999
pu: Springer, Dordrecht
la: EN
cc: 
ut: 
ci: 
li: doi:10.1023/A:1008930105477