| 2025 | AAAI | Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. | Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng |
| 2025 | ICSE | A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs. | Trey Woodlief, Carl Hildebrandt, Sebastian G. Elbaum |
| 2025 | ICSE | Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA. | Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2024 | IROS | ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs. | Carl Hildebrandt, Trey Woodlief, Sebastian G. Elbaum |
| 2024 | ICRA | Specifying and Monitoring Safe Driving Properties with Scene Graphs. | Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2024 | ICSE | S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. | Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2023 | ICRA | Mimicking Real Forces on a Drone Through a Haptic Suit to Enable Cost-Effective Validation. | Carl Hildebrandt, Wen Ying, Seongkook Heo, Sebastian G. Elbaum |
| 2023 | ICRA | A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. | Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2023 | ICSE | Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems. | Garrett Christian, Trey Woodlief, Sebastian G. Elbaum |
| 2023 | ICSE | Measuring and Mitigating Gaps in Structural Testing. | Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong |
| 2023 | ISSTA | PhysCov: Physical Test Coverage for Autonomous Vehicles. | Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum |
| 2022 | ICSE | Preparing Software Engineers to Develop Robot Systems. | Carl Hildebrandt, Meriel von Stein, Trey Woodlief, Sebastian G. Elbaum |
| 2022 | ICSE | Semantic Image Fuzzing of AI Perception Systems. | Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan |
| 2021 | CAV | DNNV: A Framework for Deep Neural Network Verification. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICRA | World-in-the-Loop Simulation for Autonomous Systems Validation. | Carl Hildebrandt, Sebastian G. Elbaum |
| 2021 | ICRA | Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights. | Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler |
| 2021 | ICRA | Automated Environment Reduction for Debugging Robotic Systems. | Meriel von Stein, Sebastian G. Elbaum |
| 2021 | ICRA | Fuzzing Mobile Robot Environments for Fast Automated Crash Detection. | Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan |
| 2021 | ICSE | Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Self-Checking Deep Neural Networks in Deployment. | Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong |
| 2020 | CAV | Systematic Generation of Diverse Benchmarks for DNN Verification. | Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2020 | ICSE | Blending kinematic and software models for tighter reachability analysis. | Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo |
| 2020 | ISSTA | Feasible and stressful trajectory generation for mobile robots. | Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer |
| 2019 | AAAI | Evaluating Recommender System Stability with Influence-Guided Fuzzing. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum |
| 2019 | INFOCOM | Efficient systematic testing of network protocols with temporal uncertain events. | Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qiao |
| 2019 | NSDI | Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations. | Wei Sun, Lisong Xu, Sebastian G. Elbaum, Di Zhao |
| 2018 | ICRA | Investigation of Communicative Flight Paths for Small Unmanned Aerial Systems * This work was supported by NSF NRI 1638099. | Brittany A. Duncan, Evan Beachly, Alisha Bevins, Sebastian G. Elbaum, Carrick Detweiler |
| 2018 | IROS | Fire-Aware Planning of Aerial Trajectories and Ignitions. | Evan Beachly, Carrick Detweiler, Sebastian G. Elbaum, Brittany A. Duncan, Carl Hildebrandt, Dirac Twidwell, Craig Allen |
| 2018 | IROS | Towards Aerial Recovery of Parachute-Deployed Payloads. | Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler |
| 2018 | IROS | Unmanned Aerial Auger for Underground Sensor Installation. | Yue Sun, Adam Plowcha, Mark Nail, Sebastian G. Elbaum, Benjamin Terry, Carrick Detweiler |
| 2018 | ICSE | Redefining prioritization: continuous prioritization for continuous integration. | Jingjing Liang, Sebastian G. Elbaum, Gregg Rothermel |
| 2018 | ICSE | Towards code-aware robotic simulation: vision paper. | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | IROS | Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code. | John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler |
| 2017 | ICRA | Rate impact analysis in robotic systems. | Nishant Sharma, Sebastian G. Elbaum, Carrick Detweiler |
| 2017 | ICSE | At the End of Synthesis: Narrowing Program Candidates. | David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee |
| 2017 | ISSTA | Lightweight detection of physical unit inconsistencies without program annotations. | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | ISSTA | Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | ISSTA | Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. | Wei Sun, Lisong Xu, Sebastian G. Elbaum |
| 2016 | IROS | Co-diagnosing configuration failures in co-robotic systems. | Adam Taylor, Sebastian G. Elbaum, Carrick Detweiler |
| 2016 | ICSE | On the techniques we create, the tools we build, and their misalignments: a study of KLEE. | Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2015 | GLOBECOM | SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. | Wei Sun, Lisong Xu, Sebastian G. Elbaum |
| 2014 | IROS | On crop height estimation with UAVs. | David J. Anthony, Sebastian G. Elbaum, Aaron Lorenz, Carrick Detweiler |
| 2014 | ICSE | Programmers' build errors: a case study (at google). | Hyunmin Seo, Caitlin Sadowski, Sebastian G. Elbaum, Edward Aftandilian, Robert W. Bowdidge |
| 2014 | ICSE | A framework to advise tests using tests. | Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2013 | ESEM | On the Use of Input/Output Queries for Code Search. | Kathryn T. Stolee, Sebastian G. Elbaum |
| 2013 | IROS | Reducing failure rates of robotic systems though inferred invariants monitoring. | Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler |
| 2013 | ISSTA | Optimizing monitoring of finite state properties through monitor compaction. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2012 | IROS | Extracting conditional component dependence for distributed robotic systems. | Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2012 | ICSE | Amplifying tests to validate exception handling code. | Pingyu Zhang, Sebastian G. Elbaum |
| 2012 | ISSTA | Compositional load test generation for software pipelines. | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2012 | OOPSLA | Detecting problematic message sequences and frequencies in distributed systems. | Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum |
| 2011 | ESEM | End-User Programmers and their Communities: An Artifact-based Analysis. | Kathryn T. Stolee, Sebastian G. Elbaum, Anita Sarma |
| 2011 | ICSE | Refactoring pipe-like mashups for end-user programmers. | Kathryn T. Stolee, Sebastian G. Elbaum |
| 2011 | RV | Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2010 | ESEM | Exploring the use of crowdsourcing to support empirical studies in software engineering. | Kathryn T. Stolee, Sebastian G. Elbaum |
| 2010 | MSWIM | Simulating and testing mobile wireless sensor networks. | David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez |
| 2010 | OOPSLA | Monitor optimization via stutter-equivalent loop transformation. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2008 | ICSE | Predicting accurate and actionable static analysis warnings: an experimental approach. | Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel |
| 2008 | ICSE | Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper. | Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum |
| 2008 | ICSE | Using topes to validate and reformat data in end-user programming tools. | Christopher Scaffidi, Allen Cypher, Sebastian G. Elbaum, Andhy Koesnandar, James Lin, Brad A. Myers, Mary Shaw |
| 2008 | ISSRE | Trace Normalization. | Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer |
| 2007 | FASE | Dynamic Characterization of Web Application Interfaces. | Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel |
| 2007 | ICSE | Parallel Randomized State-Space Search. | Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare |
| 2007 | ICSE | Adaptive Online Program Analysis. | Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum |
| 2007 | ICSE | Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. | Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde |
| 2007 | ICSE | Automated Generation of Context-Aware Tests. | Zhimin Wang, Sebastian G. Elbaum, David S. Rosenblum |
| 2007 | WWW | Supporting end-users in the creation of dependable web clips. | Sandeep Lingam, Sebastian G. Elbaum |
| 2006 | ICSE | Empirically driven SE research: state of the art and required maturity. | Victor R. Basili, Sebastian G. Elbaum |
| 2006 | ISSRE | Probe Distribution Techniques to Profile Events in Deployed Software. | Madeline Diep, Myra B. Cohen, Sebastian G. Elbaum |
| 2006 | ISSTA | Experimental program analysis: a new program analysis paradigm. | Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel |
| 2005 | ICSE | Fault patterns in Matlab. | Fidel Nkwocha, Sebastian G. Elbaum |
| 2005 | ICSE | The first workshop on end-user software engineering. | Gregg Rothermel, Sebastian G. Elbaum |
| 2005 | ISSRE | Helping End-Users "Engineer" Dependable Web Applications. | Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel |
| 2004 | ISSRE | Reducing Coverage Collection Overhead With Disposable Instrumentation. | Kalyan-Ram Chilakamarri, Sebastian G. Elbaum |
| 2004 | ISSTA | An empirical study of profiling strategies for released software and their impact on testing activities. | Sebastian G. Elbaum, Madeline Hardojo |
| 2003 | ICSE | Improving Web Application Testing with User Session Data. | Sebastian G. Elbaum, Srikanth Karre, Gregg Rothermel |
| 2003 | ISSRE | Anomalies as Precursors of Field Failures. | Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews |
| 2002 | ICSE | The impact of test suite granularity on the cost-effectiveness of regression testing. | Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Brian Davia |
| 2002 | ISSRE | An Empirical Study of Tracing Techniques from a Failure Analysis Perspective. | Satya Kanduri, Sebastian G. Elbaum |
| 2001 | ICSE | Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization. | Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel |
| 2000 | ISSRE | Software Black Box: An Alternative Mechanism for Failure Analysis. | Sebastian G. Elbaum, John C. Munson |
| 2000 | ISSTA | Prioritizing test cases for regression testing. | Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel |