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.
@inproceedings{BelinfanteFVTGFMH99,
title = {Formal Test Automation: A Simple Experiment},
author = {Axel Belinfante and Jan Feenstra and René G. de Vries and Jan Tretmans and Nicolae Goga and Loe M. G. Feijs and Sjouke Mauw and Lex Heerink},
year = {1999},
tags = {testing},
researchr = {https://researchr.org/publication/BelinfanteFVTGFMH99},
cites = {0},
citedby = {0},
pages = {179-196},
booktitle = {Testing of Communicating Systems: Method and Applications, IFIP TC6 12:::th::: International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary},
editor = {Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay},
volume = {147},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-8581-0},
}