dblp.uni-trier.dewww.uni-trier.de

Axel Belinfante

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
6EEHenrik C. Bohnenkamp, Axel Belinfante: Timed Testing with TorX. FM 2005: 173-188
2004
5EEAxel Belinfante, Lars Frantzen, Christian Schallhart: Tools for Test Case Generation. Model-Based Testing of Reactive Systems 2004: 391-438
2002
4 René G. de Vries, Axel Belinfante, Jan Feenstra: Automated Testing in Practice: The Highway Tolling System. TestCom 2002: 219-234
2000
3 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: 221-228
1999
2 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: 179-196
1997
1 Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas: The Term Processor Generator Kimwitu. TACAS 1997: 96-111

Coauthor Index

1Henk Alblas [1]
2Henrik C. Bohnenkamp [6]
3Lydie du Bousquet [3]
4Henk Eertink [1]
5Peter van Eijk [1]
6Jan Feenstra [2] [4]
7Loe M. G. Feijs [2]
8Lars Frantzen [5]
9Nicolae Goga [2]
10Lex Heerink [2]
11Sjouke Mauw [2]
12Solofo Ramangalahy [3]
13Christian Schallhart [5]
14Séverine Simon [3]
15Jan Tretmans [2]
16César Viho [3]
17René G. de Vries [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)