Axel Belinfante

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Development Kit

Test Data Generation

Protocol Specification

Top Venues

Sci. Comput. Program.

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Sci. Comput. Program. 80 (2014)
Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga
DFTCalc: A Tool for Efficient Fault Tree Analysis. SAFECOMP (2013)
Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. FMICS (2011)
Axel Belinfante
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. TACAS (2010)
Henrik C. Bohnenkamp, Axel Belinfante
Timed Testing with TorX. FM (2005)
Axel Belinfante, Lars Frantzen, Christian Schallhart
Tools for Test Case Generation. Model-Based Testing of Reactive Systems (2004)
René G. de Vries, Axel Belinfante, Jan Feenstra
Automated Testing in Practice: The Highway Tolling System. TestCom (2002)
Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
Formal Test Automation: The Conference Protocol with TGV/TORX. TestCom (2000)
Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
Formal Test Automation: A Simple Experiment. IWTCS (1999)
Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
. TACAS (1997)