White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. - Bernhard Beckert; Christoph Gladisch (TAP, 2007)

Verification-Based Test Case Generation for Full Feasible Branch Coverage. - Christoph Gladisch (SEFM, 2008)

Integrating Verification and Testing of Object-Oriented Software. - Christian Engel 002; Christoph Gladisch; Vladimir Klebanov; Philipp Rümmer (TAP, 2008)

Could We Have Chosen a Better Loop Invariant or Method Contract?. - Christoph Gladisch (TAP@TOOLS, 2009)

Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. - Christoph Gladisch (FoVeOOS, 2010)

Test Data Generation for Programs with Quantified First-Order Logic Specifications. - Christoph Gladisch (ICTSS, 2010)

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. - Christoph Gladisch; Shmuel S. Tyszberowicz; Bernhard Beckert; Amiram Yehudai (TAP@TOOLS, 2010)

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. - Bernhard Beckert; Christoph Gladisch; Shmuel S. Tyszberowicz; Amiram Yehudai (Int. J. Syst. Assur. Eng. Manag., 2011)

Verification-based software-fault detection. - Christoph David Gladisch (2011)

Model generation for quantified formulas with application to test data generation. - Christoph David Gladisch (Int. J. Softw. Tools Technol. Transf., 2012)

Refinement-based testing of delta-oriented product lines. - Ferruccio Damiani; Christoph Gladisch; Shmuel S. Tyszberowicz (PPPJ, 2013)

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. - Christoph Gladisch; Shmuel S. Tyszberowicz (SBMF, 2013)

Generating JML Specifications from Alloy Expressions. - Daniel Grunwald; Christoph Gladisch; Tianhai Liu; Mana Taghdiri; Shmuel S. Tyszberowicz (Haifa Verification Conference, 2014)

JKelloy: A Proof Assistant for Relational Specifications of Java Programs. - Aboubakr Achraf El Ghazi; Mattias Ulbrich; Christoph Gladisch; Shmuel S. Tyszberowicz; Mana Taghdiri (NASA Formal Methods, 2014)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

Specifying linked data structures in JML for combining formal verification and testing. - Christoph Gladisch; Shmuel S. Tyszberowicz (Sci. Comput. Program., 2015)

Proof-based Test Case Generation. - Wolfgang Ahrendt; Christoph Gladisch; Mihai Herda (Deductive Software Verification, 2016)

A novel model-based testing approach for software product lines. - Ferruccio Damiani; David Faitelson; Christoph Gladisch; Shmuel S. Tyszberowicz (Softw. Syst. Model., 2017)

Experience Paper: Search-Based Testing in Automated Driving Control Applications. - Christoph Gladisch; Thomas Heinz 001; Christian Heinzemann; Jens Oehlerking; Anne von Vietinghoff; Tim Pfitzer (ASE, 2019)

Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. - Matthias Woehrle; Christoph Gladisch; Christian Heinzemann (SAFECOMP Workshops, 2019)

Leveraging combinatorial testing for safety-critical computer vision datasets. - Christoph Gladisch; Christian Heinzemann; Martin Herrmann; Matthias Woehrle (CVPR Workshops, 2020)

From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (CVPR Workshops, 2021)

Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (ICCVW, 2021)

Testing Deep Learning-based Visual Perception for Automated Driving. - Stephanie Abrecht; Lydia Gauerhof; Christoph Gladisch; Konrad Groh; Christian Heinzemann; Matthias Woehrle (ACM Trans. Cyber Phys. Syst., 2021)

Towards Safety-Aware Pedestrian Detection in Autonomous Systems. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (IROS, 2022)

Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function. - Christoph Gladisch; Christian Heinzemann (ICSRS, 2023)

A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (SAFECOMP (Workshops), 2024)