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

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

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999)
Redacteuren	G. Csopaki, S. Dibuz, K. Tarnay
Plaats van productie	Dordrecht
Uitgeverij	Kluwer
Pagina's	179-196
ISBN van geprinte versie	0-7923-8581-0
Status	Gepubliceerd - 1999

Publicatie series

Naam	IFIP Conference Proceedings
Volume	147
ISSN van geprinte versie	1571-5736

Citeer dit

Belinfante, A., Feenstra, J., Vries, de, R., Tretmans, J., Goga, N., Feijs, L. M. G., Mauw, S., & Heerink, L. (1999). Formal test automation : a simple experiment. In G. Csopaki, S. Dibuz, & K. Tarnay (editors), Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999) (blz. 179-196). (IFIP Conference Proceedings; Vol. 147). Kluwer.

@inproceedings{484fc9b3f48b4d5f920d461787742e1f,

title = "Formal test automation : a simple experiment",

author = "A. Belinfante and J. Feenstra and {Vries, de}, R. and J. Tretmans and N. Goga and L.M.G. Feijs and S. Mauw and L. Heerink",

year = "1999",

language = "English",

isbn = "0-7923-8581-0",

series = "IFIP Conference Proceedings",

publisher = "Kluwer",

pages = "179--196",

editor = "G. Csopaki and S. Dibuz and K. Tarnay",

booktitle = "Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999)",

}

Belinfante, A, Feenstra, J, Vries, de, R, Tretmans, J, Goga, N, Feijs, LMG, Mauw, S & Heerink, L 1999, Formal test automation : a simple experiment. in G Csopaki, S Dibuz & K Tarnay (redactie), Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999). IFIP Conference Proceedings, vol. 147, Kluwer, Dordrecht, blz. 179-196.

Formal test automation : a simple experiment. / Belinfante, A.; Feenstra, J.; Vries, de, R. et al.

Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999). redactie / G. Csopaki; S. Dibuz; K. Tarnay. Dordrecht : Kluwer, 1999. blz. 179-196 (IFIP Conference Proceedings; Vol. 147).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Formal test automation : a simple experiment

AU - Belinfante, A.

AU - Feenstra, J.

AU - Vries, de, R.

AU - Tretmans, J.

AU - Goga, N.

AU - Feijs, L.M.G.

AU - Mauw, S.

AU - Heerink, L.

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 0-7923-8581-0

T3 - IFIP Conference Proceedings

SP - 179

EP - 196

BT - Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999)

A2 - Csopaki, G.

A2 - Dibuz, S.

A2 - Tarnay, K.

PB - Kluwer

CY - Dordrecht

ER -

Belinfante A, Feenstra J, Vries, de R, Tretmans J, Goga N, Feijs LMG et al. Formal test automation : a simple experiment. In Csopaki G, Dibuz S, Tarnay K, redacteurs, Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999). Dordrecht: Kluwer. 1999. blz. 179-196. (IFIP Conference Proceedings).