Axel Belinfante

About

ir. Axel Belinfante
Researcher in the Formal Methods and Tools group at University of Twente

Research Interests include

• Tool construction
• Model-based testing

Tool contributions include

• JTorX: a tool for Model-Based Testing
• Puptol: Publish Your (Prototype) Tool On-Line
• TorX: a tool for Model-Based Testing (predecessor of JTorX)
• Kimwitu: a 'Term Processor'

Further Details

• Contact information
• Publications