Personal information

Activities

Employment (1)

Dr. Rainer Gerlich System and Software Engineering BSSE: Immenstaad, Baden-Württemberg, DE

1996-07 to present | Senior Software Engineering
Employment
Source: Self-asserted source
Ralf Gerlich

Education and qualifications (2)

University of Ulm: Ulm, DE

2005 to 2009 | Dr. rer. nat.
Education
Source: Self-asserted source
Ralf Gerlich

University of Ulm: Ulm, DE

2001 to 2005 | Diplom-Informatiker
Education
Source: Self-asserted source
Ralf Gerlich

Works (25)

Fatal Software Failures in Spaceflight

Encyclopedia
2024-06-12 | Journal article
Contributors: Christian R. Prause; Ralf Gerlich; Rainer Gerlich
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Finest Magic Cloth or a Naked Emperor? The SKQuest Data Set on Software Metrics for Improving Transparency and Quality

Standards
2023-05-04 | Journal article
Contributors: Christian R. Prause; Ralf Gerlich
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
2020-10 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Generating Random Telecommand Test Data Using Genetic Algorithms

Proceedings of DASIA 2018, DAta Systems in Aerospace Conference
2018 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Evaluating Automated Software Verification Tools

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
2018-04 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
2018-04 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Evaluation of Verification Tools Continued: More Tools, More Software, More Aspects

Proceedings of DASIA 2017, DAta Systems in Aerospace Conference
2017 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Early Results from Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software

Proceedings of DASIA 2016, DAta Systems in Aerospace Conference
2016 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software

Proceedings of DASIA 2015, DAta Systems in Aerospace Conference
2015 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Automated Source-code-based Testing of Object-Oriented Software

Proceedings of DASIA 2014, DAta Systems in Aerospace Conference
2014 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Automatic Test Data Generation and Model Checking with CHR

CHR2014: Proceedings of the Eleventh Workshop on Constraint Handling Rules
2014-07 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Assessment and Evaluation of Fully Automated Source-codebased Testing Strategies

Proceedings of DASIA 2013, DAta Systems in Aerospace Conference
2013 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Potentials of Constraint-based Methods in Software Verification and Validation

Proceedings of DASIA 2012, DAta Systems in Aerospace Conference
2012 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR

Proceedings of the 7th International Workshop on Constraint Handling Rules
2010-07 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen

2009-10 | Dissertation or Thesis
Source: Self-asserted source
Ralf Gerlich

Path Constraint Construction with Look-ahead

Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München.
2008 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Evaluation of Auto-Test Generation Strategies and Platforms

Proceedings of DASIA 2007, DAta Systems in Aerospace Conference
2007 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Model Transformation in Practice

Proceedings of DASIA 2007, DAta Systems in Aerospace Conference
2007 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Random Testing: From the Classical Approach to a Global View on Full Test Automation

RT'07: Proceedings of the 2nd international workshop on Random testing
2007-11 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Integrierte Testkonzepte - Von der Theorie zur Praxis und zurück

Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.03.2007 in Hamburg
2007-03 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Improving Test Automation by Deterministic Methods in Statistical Testing

Proceedings of DASIA 2006, DAta Systems in Aerospace Conference
2006 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Schneller zum Ziel durch integrierte Testautomation

imbus QS-Tag 2006
2006-11 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Automated Software Production - Quo Vadis?

Proceedings of DASIA 2005, DAta Systems in Aerospace Conference
2005 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Software Diversity by Automation

Proceedings of DASIA 2005, DAta Systems in Aerospace Conference
2005 | Conference paper
Source: Self-asserted source
Ralf Gerlich

Performance and Robustness Engineering: From a Conflict Towards Fair Coexistence

Bericht über den 2. GI-Workshop Performance Engineering in der Software Entwicklung (PE 2001) am 26. April 2001 in München
2001-04 | Conference paper
Source: Self-asserted source
Ralf Gerlich