Test Case Design Based on Z and the Classification-Tree Method. - Harbhajan Singh; Mirko Conrad; Sadegh Sadeghipour (ICFEM, 1997)

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. - Maritta Heisel; Rainer Mackenthun; Thomas Neustupny; Sadegh Sadeghipour; Matthias Weber 001 (GI Jahrestagung, 1998)

Testing cyclic software components of reactive systems on the basis of formal specifications. - Sadegh Sadeghipour (Kovač, 1998)

Testing a system specified using Statecharts and Z. - Robert M. Hierons; Sadegh Sadeghipour; Harbhajan Singh (Inf. Softw. Technol., 2001)

Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. - Mirko Conrad; Sadegh Sadeghipour (Softwaretechnik-Trends, 2002)

Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. - André Baresel; Hartmut Pohlheim; Sadegh Sadeghipour (GECCO, 2003)

Systematic Model-Based Testing of Embedded Automotive Software. - Mirko Conrad; Ines Fey; Sadegh Sadeghipour (MBT, 2004)

Einsatz automatischer Testvektorgenerierung im modellbasierten Test. - Sadegh Sadeghipour; Meike Lim (GI Jahrestagung (2), 2005)

Werkzeugunterstützte Verknüpfung von Anforderungen und Tests - Voraussetzung für eine systematische Qualitätssicherung. - Meike Lim; Sadegh Sadeghipour (Softwaretechnik-Trends, 2008)

Application and Evaluation in the Healthcare Domain. - Hendrik Heinze; Khalid Kallow; Hartmut Lackner; Sadegh Sadeghipour; Holger Schlingloff; Salko Tahirbegovic; Hans-Werner Wiesbrock (Model-Based Engineering of Embedded Systems, 2012)

Gleitender Übergang vom manuellen zum automatisierten Test eingebetteter Software. - Sadegh Sadeghipour (Softwaretechnik-Trends, 2017)