Dirk Seifert

	2009
5		Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
	2008
4		Dirk Seifert: Conformance Testing Based on UML State Machines. ICFEM 2008: 45-65
	2006
3		Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84
	2004
2		Christophe Gaston, Dirk Seifert: Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322
	2003
1		Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468

Coauthor Index

1	Nikolaj Bjørner	[5]
2	Markus Dahlweid	[5]
3	Christophe Gaston	[2]
4	Steffen Helke	[1]
5	Ethan K. Jackson	[5]
6	Thomas Santen	[1] [3] [5]
7	Wolfram Schulte	[5]

Colors in the list of coauthors