EEMCS

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

EEMCS EPrints Service


Author: Heerink, A.W.
Home Policy Brochure Browse Search User Area Contact Help

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 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

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. pp. 67-82. IFIP Conference Proceedings 131. Kluwer Academic Publishers. ISBN 0-412-84430-3
Heerink, A.W. (1998) Ins and Outs in Refusal Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 98-21 ISBN 90-365-1128-3

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. pp. 143-166. IFIP International Federation for Information Processing. Chapman & Hall. ISSN 1571-5736 ISBN 0 412 81730 6
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). pp. 23-38. IFIP Conference Proceedings; 107. Chapman & Hall. ISBN 0-412-82060-9

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. pp. 261-276. Chapman & Hall. ISBN 0-412-78790-3
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. pp. 168-183. IEEE Slovenia Section. ISBN 86-435-0155-7