


default search action
Sebastian G. Elbaum
Person information
- affiliation: University of Virginia, Charlottesville, USA
- affiliation (former): University of Nebraska-Lincoln, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j46]Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer:
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. Sci. Comput. Program. 242: 103252 (2025) - 2024
- [j45]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): 6480-6487 (2024) - [c129]Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer:
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA 2024: 15577-15584 - [c128]Trey Woodlief
, Felipe Toledo
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE 2024: 141:1-141:13 - [c127]Carl Hildebrandt, Trey Woodlief, Sebastian G. Elbaum:
ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs. IROS 2024: 13809-13816 - [d7]Felipe Toledo, Trey Woodlief
, Sebastian G. Elbaum
, Matthew Dwyer
:
Specifying and Monitoring Safe Driving Properties with Scene Graphs. Zenodo, 2024 - [i13]Claire Le Goues, Sebastian G. Elbaum, David J. Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu:
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR abs/2401.12317 (2024) - [i12]Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng:
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. CoRR abs/2412.13365 (2024) - 2023
- [j44]Meriel von Stein
, David Shriver
, Sebastian G. Elbaum
:
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles. IEEE Trans. Software Eng. 49(10): 4496-4509 (2023) - [c126]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: 901-908 - [c125]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: 10518-10524 - [c124]Soneya Binta Hossain, Matthew B. Dwyer
, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Measuring and Mitigating Gaps in Structural Testing. ICSE 2023: 1712-1723 - [c123]Garrett Christian, Trey Woodlief, Sebastian G. Elbaum:
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems. ICSE 2023: 2604-2616 - [c122]Carl Hildebrandt
, Meriel von Stein, Sebastian G. Elbaum:
PhysCov: Physical Test Coverage for Autonomous Vehicles. ISSTA 2023: 449-461 - [c121]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: 120-132 - [c120]Sira Vegas
, Sebastian G. Elbaum
:
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. ESEC/SIGSOFT FSE 2023: 528-540 - [c119]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: 2122-2126 - [e5]Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein:
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023. ACM 2023 [contents] - [i11]Sira Vegas, Sebastian G. Elbaum:
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. CoRR abs/2305.11556 (2023) - [i10]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 abs/2307.16023 (2023) - [i9]Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR abs/2308.00316 (2023) - 2022
- [j43]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): 13:1-13:30 (2022) - [c118]Carl Hildebrandt
, Meriel von Stein
, Trey Woodlief, Sebastian G. Elbaum:
Preparing Software Engineers to Develop Robot Systems. ICSE (SEET) 2022: 205-216 - [c117]Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan:
Semantic Image Fuzzing of AI Perception Systems. ICSE 2022: 1958-1969 - [c116]Meriel von Stein
, Sebastian G. Elbaum
:
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot. ASE 2022: 136:1-136:5 - 2021
- [j42]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): 1990-2004 (2021) - [j41]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): 20:1-20:29 (2021) - [c115]David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
DNNV: A Framework for Deep Neural Network Verification. CAV (1) 2021: 137-150 - [c114]Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
:
Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights. ICRA 2021: 217-223 - [c113]Meriel von Stein
, Sebastian G. Elbaum:
Automated Environment Reduction for Debugging Robotic Systems. ICRA 2021: 3985-3991 - [c112]Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan:
Fuzzing Mobile Robot Environments for Fast Automated Crash Detection. ICRA 2021: 5417-5423 - [c111]Carl Hildebrandt
, Sebastian G. Elbaum:
World-in-the-Loop Simulation for Autonomous Systems Validation. ICRA 2021: 10912-10919 - [c110]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) 2021: 162-163 - [c109]David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE 2021: 275-287 - [c108]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: 372-384 - [c107]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Distribution Models for Falsification and Verification of DNNs. ASE 2021: 317-329 - [c106]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: 45-56 - [c105]Chijung Jung
, Ali Ahad, Jinho Jung, Sebastian G. Elbaum, Yonghwi Kwon
:
Swarmbug: debugging configuration bugs in swarm robotics. ESEC/SIGSOFT FSE 2021: 868-880 - [d6]David Shriver
, Sebastian G. Elbaum
, Matthew Dwyer
:
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. Zenodo, 2021 - [d5]David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
Artifact for DNNV: A Framework for Deep Neural Network Verification. Version 1. Zenodo, 2021 [all versions] - [d4]David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
Artifact for DNNV: A Framework for Deep Neural Network Verification. Version 2. Zenodo, 2021 [all versions] - [d3]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum
, Matthew Dwyer
:
Distribution Models for Falsification and Verification of DNNs. Version 1. Zenodo, 2021 [all versions] - [d2]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
Distribution Models for Falsification and Verification of DNNs. Version 1. Zenodo, 2021 [all versions] - [d1]Felipe Toledo
, David Shriver
, Sebastian G. Elbaum
, Matthew B. Dwyer
:
Distribution Models for Falsification and Verification of DNNs. Version 2. Zenodo, 2021 [all versions] - [i8]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 abs/2103.02371 (2021) - [i7]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
DNNV: A Framework for Deep Neural Network Verification. CoRR abs/2105.12841 (2021) - [i6]Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum:
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. CoRR abs/2106.11266 (2021) - 2020
- [j40]Siya Kunde
, Sebastian G. Elbaum, Brittany A. Duncan
:
Characterizing User Responses to Failures in Aerial Autonomous Systems. IEEE Robotics Autom. Lett. 5(2): 1587-1594 (2020) - [j39]Ajay Shankar
, Sebastian G. Elbaum, Carrick Detweiler
:
Towards In-Flight Transfer of Payloads Between Multirotors. IEEE Robotics Autom. Lett. 5(4): 6201-6208 (2020) - [c104]Dong Xu
, David Shriver
, Matthew B. Dwyer
, Sebastian G. Elbaum
:
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) 2020: 97-121 - [c103]Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
:
Dynamic Path Generation for Multirotor Aerial Docking in Forward Flight. CDC 2020: 1564-1571 - [c102]Balaji Balasubramaniam
, Hamid Bagheri, Sebastian G. Elbaum, Justin M. Bradley:
Investigating Controller Evolution and Divergence through Mining and Mutation*. ICCPS 2020: 151-161 - [c101]Carl Hildebrandt
, Sebastian G. Elbaum, Nicola Bezzo:
Blending kinematic and software models for tighter reachability analysis. ICSE (NIER) 2020: 33-36 - [c100]Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler
:
Multirotor Docking with an Airborne Platform. ISER 2020: 47-59 - [c99]Carl Hildebrandt
, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer
:
Feasible and stressful trajectory generation for mobile robots. ISSTA 2020: 349-362 - [i5]Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum:
A Language for Autonomous Vehicles Testing Oracles. CoRR abs/2006.10177 (2020) - [i4]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 abs/2009.08525 (2020) - [i3]Meriel von Stein, Sebastian G. Elbaum, Lu Feng, Shili Sheng:
Probabilistic Conditional System Invariant Generation with Bayesian Inference. CoRR abs/2012.06615 (2020)
2010 – 2019
- 2019
- [j38]Sebastian G. Elbaum:
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 44(2): 4-5 (2019) - [c98]David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
, David S. Rosenblum:
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI 2019: 4934-4942 - [c97]Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qiao:
Efficient systematic testing of network protocols with temporal uncertain events. INFOCOM 2019: 604-612 - [c96]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: 719-734 - [i2]David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer:
Refactoring Neural Networks for Verification. CoRR abs/1908.08026 (2019) - 2018
- [j37]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): 80-91 (2018) - [c95]Wei Sun, Lisong Xu, Sebastian G. Elbaum:
Limitations of Emulating Realistic Network Environments for Correctness Testing of Internet Applications. ICC 2018: 1-6 - [c94]Wei Sun, Lisong Xu, Sebastian G. Elbaum:
Scalably Testing Congestion Control Algorithms of Real-World TCP Implementations. ICC 2018: 1-7 - [c93]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: 602-609 - [c92]John-Paul Ore
, Carrick Detweiler, Sebastian G. Elbaum:
Towards code-aware robotic simulation: vision paper. RoSE@ICSE 2018: 40-43 - [c91]Jingjing Liang, Sebastian G. Elbaum, Gregg Rothermel:
Redefining prioritization: continuous prioritization for continuous integration. ICSE 2018: 688-698 - [c90]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: 685-692 - [c89]Yue Sun, Adam Plowcha, Mark Nail
, Sebastian G. Elbaum, Benjamin Terry, Carrick Detweiler
:
Unmanned Aerial Auger for Underground Sensor Installation. IROS 2018: 1374-1381 - [c88]Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler:
Towards Aerial Recovery of Parachute-Deployed Payloads. IROS 2018: 4700-4707 - [c87]Ajay Shankar, Sebastian G. Elbaum, Carrick Detweiler:
In-Air Exchange of Small Payloads Between Multirotor Aerial Systems. ISER 2018: 511-523 - [c86]John-Paul Ore
, Sebastian G. Elbaum, Carrick Detweiler, Lambros Karkazis:
Assessing the type annotation burden. ASE 2018: 190-201 - [c85]Sayali Kate, John-Paul Ore
, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu:
Phys: probabilistic physical unit assignment and inconsistency detection. ESEC/SIGSOFT FSE 2018: 563-573 - 2017
- [j36]Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler:
Inferring and monitoring invariants in robotic systems. Auton. Robots 41(4): 1027-1046 (2017) - [j35]Sebastian G. Elbaum:
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 42(2): 4-5 (2017) - [c84]Nishant Sharma, Sebastian G. Elbaum, Carrick Detweiler:
Rate impact analysis in robotic systems. ICRA 2017: 2089-2096 - [c83]David Shriver
, Sebastian G. Elbaum, Kathryn T. Stolee
:
At the End of Synthesis: Narrowing Program Candidates. ICSE-NIER 2017: 19-22 - [c82]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: 712-718 - [c81]Wei Sun, Lisong Xu, Sebastian G. Elbaum:
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. ISSTA 2017: 79-89 - [c80]John-Paul Ore
, Carrick Detweiler, Sebastian G. Elbaum:
Lightweight detection of physical unit inconsistencies without program annotations. ISSTA 2017: 341-351 - [c79]John-Paul Ore
, Carrick Detweiler, Sebastian G. Elbaum:
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. ISSTA 2017: 352-355 - [c78]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: 67-74 - 2016
- [j34]Kathryn T. Stolee
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. 116: 35-48 (2016) - [j33]Sebastian G. Elbaum:
The State of ICSE. ACM SIGSOFT Softw. Eng. Notes 41(5): 9-10 (2016) - [c77]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: 132-143 - [c76]Adam Taylor, Sebastian G. Elbaum, Carrick Detweiler:
Co-diagnosing configuration failures in co-robotic systems. IROS 2016: 2934-2939 - [c75]Evan Beachly, James Higgins, Christian Laney, Sebastian G. Elbaum, Carrick Detweiler, Craig Allen, Dirac Twidwell
:
A micro-UAS to Start Prescribed Fires. ISER 2016: 12-24 - 2015
- [j32]John-Paul Ore
, Sebastian G. Elbaum, Amy Burgin
, Carrick Detweiler:
Autonomous Aerial Water Sampling. J. Field Robotics 32(8): 1095-1113 (2015) - [c74]Wei Sun, Lisong Xu, Sebastian G. Elbaum:
SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. GLOBECOM 2015: 1-6 - [c73]Matias Waterloo, Suzette Person, Sebastian G. Elbaum:
Test Analysis: Searching for Faults in Tests (N). ASE 2015: 149-154 - [c72]Caitlin Sadowski, Kathryn T. Stolee
, Sebastian G. Elbaum:
How developers search for code: a case study. ESEC/SIGSOFT FSE 2015: 191-201 - [e4]Antonia Bertolino, Gerardo Canfora, Sebastian G. Elbaum:
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. IEEE Computer Society 2015, ISBN 978-1-4799-1934-5 [contents] - [e3]Antonia Bertolino, Gerardo Canfora, Sebastian G. Elbaum:
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Computer Society 2015 [contents] - 2014
- [j31]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): 1-5 (2014) - [j30]Kathryn T. Stolee, Sebastian G. Elbaum, Daniel Dobos:
Solving the Search for Source Code. ACM Trans. Softw. Eng. Methodol. 23(3): 26:1-26:45 (2014) - [j29]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): 32:1-32:28 (2014) - [c71]Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
:
A framework to advise tests using tests. ICSE Companion 2014: 440-443 - [c70]Hyunmin Seo, Caitlin Sadowski, Sebastian G. Elbaum, Edward Aftandilian, Robert W. Bowdidge:
Programmers' build errors: a case study (at google). ICSE 2014: 724-734 - [c69]David J. Anthony, Sebastian G. Elbaum, Aaron Lorenz, Carrick Detweiler:
On crop height estimation with UAVs. IROS 2014: 4805-4812 - [c68]Sebastian G. Elbaum, Gregg Rothermel, John Penix:
Techniques for improving regression testing in continuous integration development environments. SIGSOFT FSE 2014: 235-245 - [c67]Sebastian G. Elbaum, David S. Rosenblum:
Known unknowns: testing in the presence of uncertainty. SIGSOFT FSE 2014: 833-836 - 2013
- [j28]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): 1289-1303 (2013) - [j27]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): 27-51 (2013) - [j26]Kathryn T. Stolee
, Sebastian G. Elbaum:
Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups. IEEE Trans. Software Eng. 39(12): 1654-1679 (2013) - [c66]Kathryn T. Stolee
, Sebastian G. Elbaum:
On the Use of Input/Output Queries for Code Search. ESEM 2013: 251-254 - [c65]John-Paul Ore
, Sebastian G. Elbaum, Amy Burgin
, Baoliang Zhao, Carrick Detweiler:
Autonomous Aerial Water Sampling. FSR 2013: 137-151 - [c64]Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler:
Reducing failure rates of robotic systems though inferred invariants monitoring. IROS 2013: 1899-1906 - [c63]Rahul Purandare
, Matthew B. Dwyer
, Sebastian G. Elbaum:
Optimizing monitoring of finite state properties through monitor compaction. ISSTA 2013: 280-290 - [c62]Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein:
Cascading verification: an integrated method for domain-specific model checking. ESEC/SIGSOFT FSE 2013: 400-410 - 2012
- [c61]Pingyu Zhang, Sebastian G. Elbaum:
Amplifying tests to validate exception handling code. ICSE 2012: 595-605 - [c60]David J. Anthony, William P. Bennett, Mehmet C. Vuran
, Matthew B. Dwyer
, Sebastian G. Elbaum, Anne Lacy, Mike Engels, Walter Wehtje:
Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. IPSN 2012: 329-340 - [c59]Rahul Purandare
, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
:
Extracting conditional component dependence for distributed robotic systems. IROS 2012: 1533-1540 - [c58]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer
:
Compositional load test generation for software pipelines. ISSTA 2012: 89-99 - [c57]Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum:
Detecting problematic message sequences and frequencies in distributed systems. OOPSLA 2012: 915-926 - [c56]Kathryn T. Stolee
, Sebastian G. Elbaum:
Toward semantic search via SMT solver. SIGSOFT FSE 2012: 25 - 2011
- [j25]