Follow
Meriel von Stein
Title
Cited by
Cited by
Year
Automated environment reduction for debugging robotic systems
M Von Stein, S Elbaum
2021 IEEE International Conference on Robotics and Automation (ICRA), 3985-3991, 2021
42021
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
32023
DeepManeuver: Adversarial test generation for trajectory manipulation of autonomous vehicles
M von Stein, D Shriver, S Elbaum
IEEE Transactions on Software Engineering, 2023
12023
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
12022
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
12022
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
The system can't perform the operation now. Try again later.
Articles 1–7