| 2005 |
|---|
| 7 | | Sadegh Sadeghipour,
Meike Lim:
Einsatz automatischer Testvektorgenerierung im modellbasierten Test.
GI Jahrestagung (2) 2005: 475-479 |
| 6 | EE | Mirko Conrad,
Ines Fey,
Sadegh Sadeghipour:
Systematic Model-Based Testing of Embedded Automotive Software.
Electr. Notes Theor. Comput. Sci. 111: 13-26 (2005) |
| 2003 |
|---|
| 5 | EE | André Baresel,
Hartmut Pohlheim,
Sadegh Sadeghipour:
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms.
GECCO 2003: 2428-2441 |
| 2002 |
|---|
| 4 | | Mirko Conrad,
Sadegh Sadeghipour:
Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse.
Softwaretechnik-Trends 22(2): (2002) |
| 2001 |
|---|
| 3 | | Robert M. Hierons,
Sadegh Sadeghipour,
Harbhajan Singh:
Testing a system specified using Statecharts and Z.
Information & Software Technology 43(2): 137-149 (2001) |
| 1998 |
|---|
| 2 | | Maritta Heisel,
Rainer Mackenthun,
Thomas Neustupny,
Sadegh Sadeghipour,
Matthias Weber:
Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz.
GI Jahrestagung 1998: 401-403 |
| 1997 |
|---|
| 1 | | Harbhajan Singh,
Mirko Conrad,
Sadegh Sadeghipour:
Test Case Design Based on Z and the Classification-Tree Method.
ICFEM 1997: 81-90 |
