default search action
Sebastian G. Elbaum
Person information
- affiliation: University of Virginia, Charlottesville, USA
- affiliation (former): University of Nebraska-Lincoln, USA
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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) - [c128]Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer:
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA 2024: 15577-15584 - [c127]Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer:
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE 2024: 141:1-141:13 - [i12]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) - 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. Zenodo, 2021 - [d4]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact for DNNV: A Framework for Deep Neural Network Verification. Zenodo, 2021 - [d3]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [d2]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [d1]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [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]Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti:
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach. J. Syst. Softw. 84(4): 655-668 (2011) - [j24]Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21(1): 5:1-5:43 (2011) - [c55]Kathryn T. Stolee, Sebastian G. Elbaum, Anita Sarma:
End-User Programmers and their Communities: An Artifact-based Analysis. ESEM 2011: 147-156 - [c54]Kathryn T. Stolee, Sebastian G. Elbaum:
Refactoring pipe-like mashups for end-user programmers. ICSE 2011: 81-90 - [c53]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer:
Automatic generation of load tests. ASE 2011: 43-52 - [c52]Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395 - 2010
- [j23]Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel:
Experimental program analysis. Inf. Softw. Technol. 52(4): 359-379 (2010) - [j22]Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum:
Multi-layer faults in the architectures of mobile, context-aware adaptive applications. J. Syst. Softw. 83(6): 906-914 (2010) - [j21]Michele Sama, Sebastian G. Elbaum, Franco Raimondi, David S. Rosenblum, Zhimin Wang:
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification. IEEE Trans. Software Eng. 36(5): 644-661 (2010) - [c51]Kathryn T. Stolee, Sebastian G. Elbaum:
Exploring the use of crowdsourcing to support empirical studies in software engineering. ESEM 2010 - [c50]David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez:
Simulating and testing mobile wireless sensor networks. MSWiM 2010: 49-58 - [c49]Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285 - [c48]Matthew B. Dwyer, Sebastian G. Elbaum:
Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER 2010: 93-98
2000 – 2009
- 2009
- [j20]Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde:
Carving and Replaying Differential Unit Test Cases from System Test Cases. IEEE Trans. Software Eng. 35(1): 29-45 (2009) - [c47]Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum:
Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62 - [c46]Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti:
Whitening SOA testing. ESEC/SIGSOFT FSE 2009: 161-170 - [c45]Kathryn T. Stolee, Sebastian G. Elbaum, Gregg Rothermel:
Revealing the copy and paste habits of end users. VL/HCC 2009: 59-66 - 2008
- [j19]Christopher Scaffidi, Allen Cypher, Sebastian G. Elbaum, Andhy Koesnandar, Brad A. Myers:
Using scenario-based requirements to direct research on web macro tools. J. Vis. Lang. Comput. 19(4): 485-498 (2008) - [c44]Christopher Scaffidi, Allen Cypher, Sebastian G. Elbaum, Andhy Koesnandar, James Lin, Brad A. Myers, Mary Shaw:
Using topes to validate and reformat data in end-user programming tools. WEUSE@ICSE 2008: 11-15 - [c43]Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum:
Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper. SAM@ICSE 2008: 47-49 - [c42]Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel:
Predicting accurate and actionable static analysis warnings: an experimental approach. ICSE 2008: 341-350 - [c41]Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer:
Trace Normalization. ISSRE 2008: 67-76 - [c40]Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer:
Increasing Test Granularity by Aggregating Unit Tests. ASE 2008: 9-18 - [c39]Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum:
Reducing the Cost of Path Property Monitoring Through Sampling. ASE 2008: 228-237 - [c38]Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee:
Using assertions to help end-user programmers create dependable web macros. SIGSOFT FSE 2008: 124-134 - [c37]Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu:
Differential symbolic execution. SIGSOFT FSE 2008: 226-237 - [c36]Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum:
Model-based fault detection in context-aware adaptive applications. SIGSOFT FSE 2008: 261-271 - [e2]H. Dieter Rombach, Sebastian G. Elbaum, Jürgen Münch:
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany. ACM 2008, ISBN 978-1-59593-971-5 [contents] - 2007
- [j18]Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews:
Trace anomalies as precursors of field failures: an empirical study. Empir. Softw. Eng. 12(5): 447-469 (2007) - [j17]Claes Wohlin, Sebastian G. Elbaum, Martin J. Shepperd:
Most cited journal articles in software engineering. Inf. Softw. Technol. 49(1): 1 (2007) - [c35]Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel:
Dynamic Characterization of Web Application Interfaces. FASE 2007: 260-275 - [c34]Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare:
Parallel Randomized State-Space Search. ICSE 2007: 3-12 - [c33]Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum:
Adaptive Online Program Analysis. ICSE 2007: 220-229 - [c32]Zhimin Wang, Sebastian G. Elbaum, David S. Rosenblum:
Automated Generation of Context-Aware Tests. ICSE 2007: 406-415 - [c31]Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde:
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. ICSE 2007: 688-697 - [c30]Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer:
Reducing irrelevant trace variations. ASE 2007: 477-480 - [c29]Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum:
Scaling up SLA monitoring in pervasive environments. ESSPE 2007: 65-68 - [c28]Christopher Scaffidi, Allen Cypher, Sebastian G. Elbaum, Andhy Koesnandar, Brad A. Myers:
Scenario-Based Requirements for Web Macro Tools. VL/HCC 2007: 197-204 - [c27]Sandeep Lingam, Sebastian G. Elbaum:
Supporting end-users in the creation of dependable web clips. WWW 2007: 953-962 - [e1]David S. Rosenblum, Sebastian G. Elbaum:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. ACM 2007, ISBN 978-1-59593-734-6 [contents] - [i1]Sebastian G. Elbaum, Marc Fisher II, Gregg Rothermel:
Dependability in Web Software. End-User Software Engineering 2007 - 2006
- [j16]Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
Leveraging disposable instrumentation to reduce coverage collection overhead. Softw. Test. Verification Reliab. 16(4): 267-288 (2006) - [c26]Victor R. Basili, Sebastian G. Elbaum:
Empirically driven SE research: state of the art and required maturity. ICSE 2006: 32 - [c25]Madeline Diep, Myra B. Cohen, Sebastian G. Elbaum:
Probe Distribution Techniques to Profile Events in Deployed Software. ISSRE 2006: 331-342 - [c24]Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel:
Experimental program analysis: a new program analysis paradigm. ISSTA 2006: 49-60 - [c23]Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum:
Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE 2006: 92-104 - [c22]Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil:
Carving differential unit test cases from system test cases. SIGSOFT FSE 2006: 253-264 - 2005
- [j15]Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel:
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. Empir. Softw. Eng. 10(4): 405-435 (2005) - [j14]Fidel Nkwocha, Sebastian G. Elbaum:
Fault patterns in Matlab. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-4 (2005) - [j13]Sebastian G. Elbaum, Gregg Rothermel, Srikanth Karre, Marc Fisher II:
Leveraging User-Session Data to Support Web Application Testing. IEEE Trans. Software Eng. 31(3): 187-202 (2005) - [j12]Sebastian G. Elbaum, Madeline Diep:
Profiling Deployed Software: Assessing Strategies and Testing Opportunities. IEEE Trans. Software Eng. 31(4): 312-327 (2005) - [c21]Fidel Nkwocha, Sebastian G. Elbaum:
Fault patterns in Matlab. WEUSE@ICSE 2005: 8:1-8:4 - [c20]Gregg Rothermel, Sebastian G. Elbaum:
The first workshop on end-user software engineering. ICSE 2005: 698 - [c19]Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel:
Helping End-Users "Engineer" Dependable Web Applications. ISSRE 2005: 31-40 - [c18]Witawas Srisa-an, Mulyadi Oey, Sebastian G. Elbaum:
Garbage Collection in the Presence of Remote Objects: An Empirical Study. OTM Conferences (2) 2005: 1065-1082 - 2004
- [j11]Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel:
Building an infrastructure to support experimentation with software testing techniques. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-4 (2004) - [j10]Sebastian G. Elbaum, Gregg Rothermel, Satya Kanduri, Alexey G. Malishevsky:
Selecting a Cost-Effective Test Case Prioritization Technique. Softw. Qual. J. 12(3): 185-210 (2004) - [j9]Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Xuemei Qiu:
On test suite composition and cost-effective regression testing. ACM Trans. Softw. Eng. Methodol. 13(3): 277-331 (2004) - [c17]Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel:
Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques. ISESE 2004: 60-70 - [c16]Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
Reducing Coverage Collection Overhead With Disposable Instrumentation. ISSRE 2004: 233-244 - [c15]Sebastian G. Elbaum, Madeline Hardojo:
An empirical study of profiling strategies for released software and their impact on testing activities. ISSTA 2004: 65-75 - 2003
- [j8]Luyin Zhao, Sebastian G. Elbaum:
Quality assurance under the open source development model. J. Syst. Softw. 66(1): 65-75 (2003) - [j7]Gregg Rothermel, Sebastian G. Elbaum:
Putting Your Best Tests Forward. IEEE Softw. 20(5): 74-77 (2003) - [j6]Sebastian G. Elbaum, Praveen Kallakuri, Alexey G. Malishevsky, Gregg Rothermel, Satya Kanduri:
Understanding the effects of changes on the cost-effectiveness of regression testing techniques. Softw. Test. Verification Reliab. 13(2): 65-83 (2003) - [c14]Sebastian G. Elbaum, Srikanth Karre, Gregg Rothermel:
Improving Web Application Testing with User Session Data. ICSE 2003: 49-59 - [c13]Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews:
Anomalies as Precursors of Field Failures. ISSRE 2003: 108-118 - 2002
- [j5]Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne:
Can fault-exposure-potential estimates improve the fault detection abilities of test suites? Softw. Test. Verification Reliab. 12(4): 197-218 (2002) - [j4]Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Test Case Prioritization: A Family of Empirical Studies. IEEE Trans. Software Eng. 28(2): 159-182 (2002) - [c12]Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Brian Davia:
The impact of test suite granularity on the cost-effectiveness of regression testing. ICSE 2002: 130-140 - [c11]Alexey G. Malishevsky, Gregg Rothermel, Sebastian G. Elbaum:
Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques. ICSM 2002: 204-213 - [c10]Satya Kanduri, Sebastian G. Elbaum:
An Empirical Study of Tracing Techniques from a Failure Analysis Perspective. ISSRE 2002: 280-294 - 2001
- [c9]Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization. ICSE 2001: 329-338 - [c8]Sebastian G. Elbaum, David Gable, Gregg Rothermel:
The Impact of Software Evolution on Code Coverage Information. ICSM 2001: 170-179 - [c7]Sebastian G. Elbaum, David Gable, Gregg Rothermel:
Understanding and Measuring the Sources of Variation in the Prioritization of Regression Test Suites. IEEE METRICS 2001: 169- - 2000
- [j3]Luyin Zhao, Sebastian G. Elbaum:
A survey on quality related activities in open source. ACM SIGSOFT Softw. Eng. Notes 25(3): 54-57 (2000) - [j2]Sebastian G. Elbaum, John C. Munson:
Evaluating regression test suites based on their fault exposure capability. J. Softw. Maintenance Res. Pract. 12(3): 171-184 (2000) - [c6]Sebastian G. Elbaum, John C. Munson:
Software Black Box: An Alternative Mechanism for Failure Analysis. ISSRE 2000: 365-376 - [c5]Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Prioritizing test cases for regression testing. ISSTA 2000: 102-112
1990 – 1999
- 1999
- [j1]Sebastian G. Elbaum, John C. Munson:
Software Evolution and the Code Fault Introduction Process. Empir. Softw. Eng. 4(3): 241-262 (1999) - [c4]John C. Munson, Sebastian G. Elbaum:
Software Reliability as a Function of User Execution Patterns. HICSS 1999 - [c3]Sebastian G. Elbaum, John C. Munson:
Intrusion Detection Through Dynamic Software Measurement. Workshop on Intrusion Detection and Network Monitoring 1999: 41-50 - 1998
- [c2]John C. Munson, Sebastian G. Elbaum:
Code Churn: A Measure for Estimating the Impact of Code Change. ICSM 1998: 24- - [c1]Sebastian G. Elbaum, John C. Munson:
Getting a Handle on the Fault Injection Process: Validation of Measurement Tools. IEEE METRICS 1998: 133-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint