![]() | ![]() |
2008 | ||
---|---|---|
4 | EE | 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 | EE | Christophe Gaston, Dirk Seifert: Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322 |
2003 | ||
1 | EE | Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468 |
1 | Christophe Gaston | [2] |
2 | Steffen Helke | [1] |
3 | Thomas Santen | [1] [3] |