Formal test automation : a simple experiment

A. Belinfante, J. Feenstra, R. Vries, de, J. Tretmans, N. Goga, L.M.G. Feijs, S. Mauw, L. Heerink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTesting of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999)
EditorsG. Csopaki, S. Dibuz, K. Tarnay
Place of PublicationDordrecht
PublisherKluwer
Pages179-196
ISBN (Print)0-7923-8581-0
Publication statusPublished - 1999

Publication series

NameIFIP Conference Proceedings
Volume147
ISSN (Print)1571-5736

Cite this