Automated environment reduction for debugging robotic systems M Von Stein, S Elbaum 2021 IEEE International Conference on Robotics and Automation (ICRA), 3985-3991, 2021 | 4 | 2021 |
PhysCov: Physical Test Coverage for Autonomous Vehicles C Hildebrandt, M von Stein, S Elbaum Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 3 | 2023 |
DeepManeuver: Adversarial test generation for trajectory manipulation of autonomous vehicles M von Stein, D Shriver, S Elbaum IEEE Transactions on Software Engineering, 2023 | 1 | 2023 |
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot M von Stein, S Elbaum IEEE/ACM International Conference on Automated Software Engineering, 2022 | 1 | 2022 |
Preparing Software Engineers to Develop Robot Systems C Hildebrandt, M von Stein, T Woodlief, S Elbaum IEEE/ACM International Conference on Software Engineering: Software …, 2022 | 1 | 2022 |
Probabilistic Conditional System Invariant Generation with Bayesian Inference M von Stein, S Elbaum, L Feng, S Sheng https://arxiv.org/abs/2012.06615, 2020 | | 2020 |
Qualifying Examination Final Report: Implicit Invariants for Relational Data Structures M Stein | | 2020 |