Author Publications

2011

Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 August 2011, Trento, Italy.

2010

Belinfante, Axel (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 22-25 March 2010, Paphos, Cyprus.

2007

Belinfante, A.F.E. (2007) Extensible Synthetic File Servers? or: Structuring the Glue between Tester and System Under Test. In: Proceedings of the Second International Workshop on Plan 9 (IWP9 2007), 3-4 Dec 2007, Bell Labs, Murray Hill, NJ, USA.

Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute, Eindhoven, the Netherlands, pp. 115-128. ISBN 9789078679028

2006

Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain.

2005

Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science, 3472 . Springer Verlag, pp. 391-438. ISBN 9783540262787

Bohnenkamp, Henrik and Belinfante, Alex (2005) Timed Testing with TorX. In: International Symposium of Formal Methods Europe, July 18-22, 2005, Newcastle, UK.

2002

Belinfante, A.F.E. (2002) Timed Testing with TorX: The Oosterschelde Storm Surge Barrier. In: Handout 8e Nederlandse Testdag, 20 Nov 2002, Rotterdam, the Netherlands.

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.

Belinfante, Alex and Brinksma, Ed and Feenstra, Jan and Tretmans, Jan and Vries, René (2001) Côte de Resyste : Automatic Model-Based Testing of Communication Protocols. In: 7th Annual CTIT Workshop on Mobile Communications in Perspective, 7 Feb 2001, Enschede, the Netherlands.

2000

Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada.

Tretmans, Jan and Belinfante, Axel (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. Testnet Nieuws, 4 (1). pp. 8-10.

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.

Tretmans, Jan and Belinfante, Axel (1999) Automatic Testing with Formal Methods. [Report]

Tretmans, Jan and Belinfante, Axel (1999) Automatic Testing with Formal Methods. In: 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999, 8-12 November 1999, Barcelona, Spain.

1997

Eijk van, Peter and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1997) The term processor generator Kimwitu. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science, 1217 . Springer Verlag, Berlin, Germany, pp. 96-111. ISBN 9783540627906

1996

Eijk van, Peter and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1996) The Term Processor Generator Kimwitu. [Report]