Formal Test Automation : a Simple Experiment. (1999)

by A Belinfante, J Feenstra, R de Vries, J Tretmans, N Goga, L Feijs, S Mauw, L Heerink
Venue:In 12th International Workshop on Testing of Communicating Systems, G. Csopaki