Concepedia

Mirko Conrad

MC

Statistics

Publications

22

Citations

589

H-Index

16

Active since

1999

Affiliations

Daimler (Germany)(Current)

MathWorks (United States)

Association for Computing Machinery

Daimler (United Kingdom)

Mirko Conrad is an author at Daimler (Germany) specializing in software engineering, engineering, and software design.

Top concepts

EngineeringSoftware DesignSystems EngineeringComputer EngineeringSoftware EngineeringSoftware TestingSoftware AnalysisComputer ScienceProgram AnalysisFormal Verification

Publications per year

1999–2012

22

Publications

22

Test case design based on Z and the classification-tree method

Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour · 2002 · 72 citations

Engineering, Verification, Diagnosis +23

Systematic Testing of Model-Based Code Generators

Ingo Stuermer, Mirko Conrad, Heiko Doerr et al. · IEEE Transactions on Software Engineering · 2007 · 57 citations

Engineering, Verification, Test Data Generation +20

Model-based Testing of Embedded Automotive Software Using Mtest

Klaus Lamberg, Michael Beine, Mario Eschmann et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2004 · 56 citations

Systematic Model-Based Testing of Embedded Automotive Software

Mirko Conrad, Ines Fey, Sadegh Sadeghipour · Electronic Notes in Theoretical Computer Science · 2005 · 38 citations · Full text

Engineering, System Testing, Software Testing +15

Test suite design for code generation tools

Ingo Stürmer, Mirko Conrad · 2004 · 38 citations

Software Maintenance, Engineering, Test Suite Design +25

1–5 of 22