Axel Belinfante

	2005
6		Henrik C. Bohnenkamp, Axel Belinfante: Timed Testing with TorX. FM 2005: 173-188
	2004
5		Axel 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

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

Colors in the list of coauthors