Author Publications

2001

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 13, 2000, Utrecht, the Netherlands.

2000

Heerink, Lex and Feenstra, Jan and Tretmans, Jan (2000) Formal Test Automation: The Conference Protocol with PHACT. In: IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques, TESTCOM 2000, August 29 - September 1, 2000, Ottawa, Canada.

Vries, René and Tretmans, Jan and Belinfante, Axel and Feenstra, Jan and Feijs, Loe and Mauw, Sjouke and Goga, Nicolae and Heerink, Lex and Heer de, Arjan (2000) Côte de Resyste in Progress. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands.

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.

1998

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems.

Heerink, Alexander Wilhelmus (1998) Ins and Outs in Refusal Testing. thesis.

1997

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X.

Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII).

1996

Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany.

Terpstra, R. and Ferreira Pires, L. and Heerink, A.W. and Tretmans, G.J. (1996) Testing theory in practice: a simple experiment. In: COST 247 International Workshop on Applied Formal Methods in System Design, 17-19 Jun 1996, Maribor, Slovenia.