Formal Test Automation: A Simple Experiment

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink. Formal Test Automation: A Simple Experiment. In Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay, editors, Testing of Communicating Systems: Method and Applications, IFIP TC6 12:::th::: International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary. Volume 147 of IFIP Conference Proceedings, pages 179-196, Kluwer, 1999.

Authors

Axel Belinfante

This author has not been identified. Look up 'Axel Belinfante' in Google

Jan Feenstra

This author has not been identified. Look up 'Jan Feenstra' in Google

René G. de Vries

This author has not been identified. Look up 'René G. de Vries' in Google

Jan Tretmans

This author has not been identified. Look up 'Jan Tretmans' in Google

Nicolae Goga

This author has not been identified. Look up 'Nicolae Goga' in Google

Loe M. G. Feijs

This author has not been identified. Look up 'Loe M. G. Feijs' in Google

Sjouke Mauw

Identified as Sjouke Mauw

Lex Heerink

This author has not been identified. Look up 'Lex Heerink' in Google