EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Feenstra, J.
Home Policy Brochure Browse Search User Area Contact Help

2002

de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1

2001

Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X

2000

Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A. (2000) Côte de Resyste in Progress. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht. pp. 141-148. Technology Foundation STW. ISBN 90-73461-25-1

1999

Belinfante, A.F.E. and Feenstra, J. and de Vries, R.G. and Tretmans, G.J. and Goga, N. and Feijs, L.M.G. and Mauw, S. and Heerink, A.W. (1999) Formal Test Automation: A Simple Experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. pp. 179-196. IFIP Conference Proceedings 147. Kluwer Academic Publishers. ISBN 0-7923-8581-0