Axel Belinfante

According to our database, Axel Belinfante authored at least 10 papers between 1997 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

JTorX: exploring model-based testing.

Axel Belinfante

PhD thesis, 2014

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost.

Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli

Sci. Comput. Program., 2014

2013

DFTCalc: A Tool for Efficient Fault Tree Analysis.

Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2013

2010

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.

Axel Belinfante

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2005

Timed Testing with TorX.

Henrik C. Bohnenkamp, Axel Belinfante

Proceedings of the FM 2005: Formal Methods, 2005

2004

Tools for Test Case Generation.

Axel Belinfante, Lars Frantzen, Christian Schallhart

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2002

Automated Testing in Practice: The Highway Tolling System.

René G. de Vries, Axel Belinfante, Jan Feenstra

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2000

Formal Test Automation: The Conference Protocol with TGV/TORX.

Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

Formal Test Automation: A Simple Experiment.

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1997

The Term Processor Generator <i>Kimwitu</i>.

Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997