Axel Belinfante

	2011
8		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: 117-133
	2010
7		Axel Belinfante: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. TACAS 2010: 266-270
	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	Lawrence Marinelli	[8]
12	Sjouke Mauw	[2]
13	Solofo Ramangalahy	[3]
14	Christian Schallhart	[5]
15	Marten Sijtema	[8]
16	Séverine Simon	[3]
17	Mariëlle Stoelinga	[8]
18	Jan Tretmans	[2]
19	César Viho	[3]
20	René G. de Vries	[2] [3] [4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page