Ralf Gerlich

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 3

Top Topics

Generation Algorithm

Symbolic Execution

Test Data Generation

Temporal Properties

Top Venues

University of Ulm (PHD)

Education History

University of Ulm

PHD

Publications

Ralf Gerlich, Christian R. Prause
Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation. ICST Workshops (2020)
Christian Prause, Rainer Gerlich, Ralf Gerlich
Evaluating Automated Software Verification Tools. ICST (2018)
Ralf Gerlich, Christian R. Prause
Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms. ICST Workshops (2018)
Ralf Gerlich
Automatic Test Data Generation and Model Checking with CHR. CoRR (2014)
Ralf Gerlich
Path Constraint Construction with Lookahead. Software Engineering (Workshops) (2008)
Ralf Gerlich
Integrierte Testkonzepte - Von der Theorie zur Praxis und zurück. Software Engineering (Workshops) (2007)