Sadegh Sadeghipour

According to our database, Sadegh Sadeghipour authored at least 11 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Gleitender Übergang vom manuellen zum automatisierten Test eingebetteter Software.

Sadegh Sadeghipour

Softwaretechnik-Trends, 2017

2012

Application and Evaluation in the Healthcare Domain.

Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic, Hans-Werner Wiesbrock

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2008

Werkzeugunterstützte Verknüpfung von Anforderungen und Tests - Voraussetzung für eine systematische Qualitätssicherung.

Meike Lim, Sadegh Sadeghipour

Softwaretechnik-Trends, 2008

2005

Einsatz automatischer Testvektorgenerierung im modellbasierten Test.

Sadegh Sadeghipour, Meike Lim

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Systematic Model-Based Testing of Embedded Automotive Software.

Mirko Conrad, Ines Fey, Sadegh Sadeghipour

Proceedings of the Workshop on Model Based Testing, 2004

2003

Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms.

André Baresel, Hartmut Pohlheim, Sadegh Sadeghipour

Proceedings of the Genetic and Evolutionary Computation, 2003

2002

Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse.

Mirko Conrad, Sadegh Sadeghipour

Softwaretechnik-Trends, 2002

2001

Testing a system specified using Statecharts and Z.

Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh

Inf. Softw. Technol., 2001

1998

Testing cyclic software components of reactive systems on the basis of formal specifications.

Sadegh Sadeghipour

PhD thesis, 1998

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz.

Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber

Proceedings of the Informatik '98, 1998

1997

Test Case Design Based on Z and the Classification-Tree Method.

Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997