Probabilistic Conditional System Invariant Generation with Bayesian Inference. - Meriel von Stein; Sebastian G. Elbaum; Lu Feng 001; Shili Sheng (CoRR, 2020)

Automated Environment Reduction for Debugging Robotic Systems. - Meriel von Stein; Sebastian G. Elbaum (ICRA, 2021)

Preparing Software Engineers to Develop Robot Systems. - Carl Hildebrandt; Meriel von Stein; Trey Woodlief; Sebastian G. Elbaum (ICSE (SEET), 2022)

Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot. - Meriel von Stein; Sebastian G. Elbaum (ASE, 2022)

PhysCov: Physical Test Coverage for Autonomous Vehicles. - Carl Hildebrandt; Meriel von Stein; Sebastian G. Elbaum (ISSTA, 2023)

DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles. - Meriel von Stein; David Shriver; Sebastian G. Elbaum (IEEE Trans. Software Eng., 2023)

Automated Generation of Transformations to Mitigate Sensor Hardware Migration in ADS. - Meriel von Stein; Hongning Wang; Sebastian G. Elbaum (IEEE Robotics Autom. Lett., 2024)

Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems. - Meriel von Stein; Yili Bai; Trey Woodlief; Sebastian G. Elbaum (SIGSOFT FSE Companion, 2025)