Sebastian G. Elbaum

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 77

Top Venues

Publications

Meriel von Stein, Hongning Wang, Sebastian G. Elbaum
Automated Generation of Transformations to Mitigate Sensor Hardware Migration in ADS. IEEE Robotics Autom. Lett. 9 (7) (2024)
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA (2024)
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE (2024)
Sira Vegas, Sebastian G. Elbaum
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. ESEC/SIGSOFT FSE (2023)
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR (2023)
Sira Vegas, Sebastian G. Elbaum
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. CoRR (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR (2023)
Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum
PhysCov: Physical Test Coverage for Autonomous Vehicles. ISSTA (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE (2023)
Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA (2023)
Carl Hildebrandt, Wen Ying, Seongkook Heo, Sebastian G. Elbaum
Mimicking Real Forces on a Drone Through a Haptic Suit to Enable Cost-Effective Validation. ICRA (2023)
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
Measuring and Mitigating Gaps in Structural Testing. ICSE (2023)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE (2023)
Garrett Christian, Trey Woodlief, Sebastian G. Elbaum
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems. ICSE (2023)
Meriel von Stein, David Shriver, Sebastian G. Elbaum
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles. IEEE Trans. Software Eng. 49 (10) (2023)
Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qiao
Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations. ACM Trans. Model. Comput. Simul. 32 (2) (2022)
Meriel von Stein, Sebastian G. Elbaum
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot. ASE (2022)
Carl Hildebrandt, Meriel von Stein, Trey Woodlief, Sebastian G. Elbaum
Preparing Software Engineers to Develop Robot Systems. ICSE (SEET) (2022)
Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan
Semantic Image Fuzzing of AI Perception Systems. ICSE (2022)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Distribution Models for Falsification and Verification of DNNs. ASE (2021)
John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum
An Empirical Study on Type Annotations: Accuracy, Speed, and Suggestion Effectiveness. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Meriel von Stein, Sebastian G. Elbaum
Automated Environment Reduction for Debugging Robotic Systems. ICRA (2021)
Chijung Jung, Ali Ahad, Jinho Jung, Sebastian G. Elbaum, Yonghwi Kwon
Swarmbug: debugging configuration bugs in swarm robotics. ESEC/SIGSOFT FSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CoRR (2021)
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
Self-Checking Deep Neural Networks in Deployment. ICSE (2021)
Carl Hildebrandt, Sebastian G. Elbaum
World-in-the-Loop Simulation for Autonomous Systems Validation. ICRA (2021)
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
Self-Checking Deep Neural Networks in Deployment. CoRR (2021)
Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan
Fuzzing Mobile Robot Environments for Fast Automated Crash Detection. ICRA (2021)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights. ICRA (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CAV (1) (2021)
Wei Sun, Lisong Xu, Sebastian G. Elbaum, Di Zhao
Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP Implementations. IEEE/ACM Trans. Netw. 29 (5) (2021)
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
PHYSFRAME: type checking physical frames of reference for robotic systems. ESEC/SIGSOFT FSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) (2021)
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. CoRR (2021)
Meriel Stein, Sebastian G. Elbaum, Lu Feng, Shili Sheng
Probabilistic Conditional System Invariant Generation with Bayesian Inference. CoRR (2020)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
Multirotor Docking with an Airborne Platform. ISER (2020)
Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang
Deep Learning & Software Engineering: State of Research and Future Directions. CoRR (2020)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
Dynamic Path Generation for Multirotor Aerial Docking in Forward Flight. CDC (2020)
Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo
Blending kinematic and software models for tighter reachability analysis. ICSE (NIER) (2020)
Balaji Balasubramaniam, Hamid Bagheri, Sebastian G. Elbaum, Justin Bradley
. ICCPS (2020)
Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) (2020)
Siya Kunde, Sebastian G. Elbaum, Brittany A. Duncan
Characterizing User Responses to Failures in Aerial Autonomous Systems. IEEE Robotics Autom. Lett. 5 (2) (2020)
Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer
Feasible and stressful trajectory generation for mobile robots. ISSTA (2020)
Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum
A Language for Autonomous Vehicles Testing Oracles. CoRR (2020)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
Towards In-Flight Transfer of Payloads Between Multirotors. IEEE Robotics Autom. Lett. 5 (4) (2020)
Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qia
Efficient systematic testing of network protocols with temporal uncertain events. INFOCOM (2019)
Wei Sun, Lisong Xu, Sebastian G. Elbaum, Di Zhao
Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations. NSDI (2019)
David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer
Refactoring Neural Networks for Verification. CoRR (2019)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI (2019)
Sebastian G. Elbaum
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 44 (2) (2019)
John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum
Towards code-aware robotic simulation: vision paper. RoSE@ICSE (2018)
Brittany A. Duncan, Evan Beachly, Alisha Bevins, Sebastian G. Elbaum, Carrick Detweiler
Investigation of Communicative Flight Paths for Small Unmanned Aerial Systems * This work was supported by NSF NRI 1638099. ICRA (2018)
John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler, Lambros Karkazis
Assessing the type annotation burden. ASE (2018)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Limitations of Emulating Realistic Network Environments for Correctness Testing of Internet Applications. ICC (2018)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
Towards Aerial Recovery of Parachute-Deployed Payloads. IROS (2018)
Jingjing Liang, Sebastian G. Elbaum, Gregg Rothermel
Redefining prioritization: continuous prioritization for continuous integration. ICSE (2018)
Lisa M. PytlikZillig, Brittany A. Duncan, Sebastian G. Elbaum, Carrick Detweiler
A Drone by Any Other Name: Purposes, End-User Trustworthiness, and Framing, but Not Terminology, Affect Public Support for Drones. IEEE Technol. Soc. Mag. 37 (1) (2018)
Yue Sun, Adam Plowcha, Mark Nail, Sebastian G. Elbaum, Benjamin Terry, Carrick Detweiler
Unmanned Aerial Auger for Underground Sensor Installation. IROS (2018)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Scalably Testing Congestion Control Algorithms of Real-World TCP Implementations. ICC (2018)
Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu
Phys: probabilistic physical unit assignment and inconsistency detection. ESEC/SIGSOFT FSE (2018)
Evan Beachly, Carrick Detweiler, Sebastian G. Elbaum, Brittany A. Duncan, Carl Hildebrandt, Dirac Twidwell, Craig Allen
Fire-Aware Planning of Aerial Trajectories and Ignitions. IROS (2018)
Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
In-Air Exchange of Small Payloads Between Multirotor Aerial Systems. ISER (2018)
John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum
Lightweight detection of physical unit inconsistencies without program annotations. ISSTA (2017)
Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler
Inferring and monitoring invariants in robotic systems. Auton. Robots 41 (4) (2017)
Nishant Sharma, Sebastian G. Elbaum, Carrick Detweiler
Rate impact analysis in robotic systems. ICRA (2017)
John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. ISSTA (2017)
John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler
Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code. IROS (2017)
Evan Beachly, Carrick Detweiler, Sebastian G. Elbaum, Dirac Twidwell, Brittany A. Duncan
UAS-Rx interface for mission planning, fire tracking, fire ignition, and real-time updating. SSRR (2017)
David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee
At the End of Synthesis: Narrowing Program Candidates. ICSE-NIER (2017)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. ISSTA (2017)
Sebastian G. Elbaum
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 42 (2) (2017)
Kathryn T. Stolee, Sebastian G. Elbaum, Matthew B. Dwyer
Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. 116 (2016)
Evan Beachly, James Higgins, Christian Laney, Sebastian G. Elbaum, Carrick Detweiler, Craig Allen, Dirac Twidwell
A micro-UAS to Start Prescribed Fires. ISER (2016)
Adam Taylor, Sebastian G. Elbaum, Carrick Detweiler
Co-diagnosing configuration failures in co-robotic systems. IROS (2016)
Sebastian G. Elbaum
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 41 (5) (2016)
Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
On the techniques we create, the tools we build, and their misalignments: a study of KLEE. ICSE (2016)
John-Paul Ore, Sebastian G. Elbaum, Amy Burgin, Carrick Detweiler
Autonomous Aerial Water Sampling. J. Field Robotics 32 (8) (2015)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. GLOBECOM (2015)
Matias Waterloo, Suzette Person, Sebastian G. Elbaum
Test Analysis: Searching for Faults in Tests (N). ASE (2015)
Caitlin Sadowski, Kathryn T. Stolee, Sebastian G. Elbaum
How developers search for code: a case study. ESEC/SIGSOFT FSE (2015)
Sebastian G. Elbaum, David S. Rosenblum
Known unknowns: testing in the presence of uncertainty. SIGSOFT FSE (2014)
Kathryn T. Stolee, Sebastian G. Elbaum, Daniel Dobos
Solving the Search for Source Code. ACM Trans. Softw. Eng. Methodol. 23 (3) (2014)
David J. Anthony, Sebastian G. Elbaum, Aaron Lorenz, Carrick Detweiler
On crop height estimation with UAVs. IROS (2014)
Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum
Safely reducing the cost of unit level symbolic execution through read/write analysis. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
A framework to advise tests using tests. ICSE Companion (2014)
Hyunmin Seo, Caitlin Sadowski, Sebastian G. Elbaum, Edward Aftandilian, Robert W. Bowdidge
Programmers' build errors: a case study (at google). ICSE (2014)
Pingyu Zhang, Sebastian G. Elbaum
Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain. ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Sebastian G. Elbaum, Gregg Rothermel, John Penix
Techniques for improving regression testing in continuous integration development environments. SIGSOFT FSE (2014)
Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces. Softw. Test. Verification Reliab. 23 (1) (2013)
Kathryn T. Stolee, Sebastian G. Elbaum
Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups. IEEE Trans. Software Eng. 39 (12) (2013)
Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein
Cascading verification: an integrated method for domain-specific model checking. ESEC/SIGSOFT FSE (2013)
Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler
Reducing failure rates of robotic systems though inferred invariants monitoring. IROS (2013)
Kathryn T. Stolee, Sebastian G. Elbaum, Anita Sarma
Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes. Inf. Softw. Technol. 55 (7) (2013)
John-Paul Ore, Sebastian G. Elbaum, Amy Burgin, Baoliang Zhao, Carrick Detweiler
Autonomous Aerial Water Sampling. FSR (2013)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Optimizing monitoring of finite state properties through monitor compaction. ISSTA (2013)
Kathryn T. Stolee, Sebastian G. Elbaum
On the Use of Input/Output Queries for Code Search. ESEM (2013)
Pingyu Zhang, Sebastian G. Elbaum
Amplifying tests to validate exception handling code. ICSE (2012)
Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
Extracting conditional component dependence for distributed robotic systems. IROS (2012)
Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
Compositional load test generation for software pipelines. ISSTA (2012)

Sebastian G. Elbaum.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian G. Elbaum