Lex Heerink

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
c6		Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink: Reusable Model Transformation Patterns. EDOCW 2008: 1-10
	2000
c5		Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220
	1999
c4		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
	1998
c3		Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82
	1997
c2		Lex Heerink, Jan Tretmans: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38
	1995
c1		Lex Heerink, Ed Brinksma: Validation in context. PSTV 1995: 221-236

Coauthor Index

1	Axel Belinfante	[c4]
2	Ed Brinksma	[c3] [c1]
3	Jan Feenstra	[c5] [c4]
4	Loe M. G. Feijs	[c4]
5	Nicolae Goga	[c4]
6	Maria-Eugenia Iacob	[c6]
7	Sjouke Mauw	[c4]
8	Maarten W. A. Steen (Maarten Steen)	[c6]
9	Jan Tretmans	[c5] [c4] [c3] [c2]
10	René G. de Vries	[c4]

Last update Fri May 24 01:46:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page