Sebastian G. Elbaum

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Reducing DNN Properties to Enable Falsification with Adversarial Attacks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Fuzzing Mobile Robot Environments for Fast Automated Crash Detection.

[BibT_eX]

[DOI]

Trey Woodlief

Kevin Sullivan

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Automated Environment Reduction for Debugging Robotic Systems.

[BibT_eX]

[DOI]

Meriel von Stein

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

World-in-the-Loop Simulation for Autonomous Systems Validation.

[BibT_eX]

[DOI]

Carl Hildebrandt

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

DNNV: A Framework for Deep Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Towards In-Flight Transfer of Payloads Between Multirotors.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2020

Characterizing User Responses to Failures in Aerial Autonomous Systems.

[BibT_eX]

[DOI]

Siya Kunde

Brittany A. Duncan

IEEE Robotics Autom. Lett., 2020

Probabilistic Conditional System Invariant Generation with Bayesian Inference.

[BibT_eX]

[DOI]

CoRR, 2020

Deep Learning & Software Engineering: State of Research and Future Directions.

[BibT_eX]

[DOI]

CoRR, 2020

A Language for Autonomous Vehicles Testing Oracles.

[BibT_eX]

[DOI]

Ana Nora Evans

Mary Lou Soffa

CoRR, 2020

Feasible and stressful trajectory generation for mobile robots.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Multirotor Docking with an Airborne Platform.

[BibT_eX]

[DOI]

Proceedings of the Experimental Robotics - The 17th International Symposium, 2020

Blending kinematic and software models for tighter reachability analysis.

[BibT_eX]

[DOI]

Carl Hildebrandt

Nicola Bezzo

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Investigating Controller Evolution and Divergence through Mining and Mutation<sup>*</sup>.

[BibT_eX]

[DOI]

Balaji Balasubramaniam

Hamid Bagheri

Justin M. Bradley

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Dynamic Path Generation for Multirotor Aerial Docking in Forward Flight.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Systematic Generation of Diverse Benchmarks for DNN Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Refactoring Neural Networks for Verification.

[BibT_eX]

[DOI]

CoRR, 2019

Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

Efficient systematic testing of network protocols with temporal uncertain events.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Evaluating Recommender System Stability with Influence-Guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

A Drone by Any Other Name: Purposes, End-User Trustworthiness, and Framing, but Not Terminology, Affect Public Support for Drones.

[BibT_eX]

[DOI]

IEEE Technol. Soc. Mag., 2018

Phys: probabilistic physical unit assignment and inconsistency detection.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Assessing the type annotation burden.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

In-Air Exchange of Small Payloads Between Multirotor Aerial Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Symposium on Experimental Robotics, 2018

Unmanned Aerial Auger for Underground Sensor Installation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Towards Aerial Recovery of Parachute-Deployed Payloads.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Fire-Aware Planning of Aerial Trajectories and Ignitions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Towards code-aware robotic simulation: vision paper.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

Redefining prioritization: continuous prioritization for continuous integration.

[BibT_eX]

[DOI]

Jingjing Liang

Proceedings of the 40th International Conference on Software Engineering, 2018

Investigation of Communicative Flight Paths for Small Unmanned Aerial Systems * This work was supported by NSF NRI 1638099.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Scalably Testing Congestion Control Algorithms of Real-World TCP Implementations.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Communications, 2018

Limitations of Emulating Realistic Network Environments for Correctness Testing of Internet Applications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017

The State of ICSE.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

Inferring and monitoring invariants in robotic systems.

[BibT_eX]

[DOI]

Hengle Jiang

Auton. Robots, 2017

UAS-Rx interface for mission planning, fire tracking, fire ignition, and real-time updating.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Safety, Security and Rescue Robotics, 2017

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Lightweight detection of physical unit inconsistencies without program annotations.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

At the End of Synthesis: Narrowing Program Candidates.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Rate impact analysis in robotic systems.

[BibT_eX]

[DOI]

Nishant Sharma

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016

Code search with input/output queries: Generalizing, ranking, and assessment.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

A micro-UAS to Start Prescribed Fires.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Experimental Robotics, 2016

Co-diagnosing configuration failures in co-robotic systems.

[BibT_eX]

[DOI]

Adam Taylor

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

On the techniques we create, the tools we build, and their misalignments: a study of KLEE.

[BibT_eX]

[DOI]

Eric F. Rizzi

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Autonomous Aerial Water Sampling.

[BibT_eX]

[DOI]

J. Field Robotics, 2015

How developers search for code: a case study.

[BibT_eX]

[DOI]

Caitlin Sadowski

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Test Analysis: Searching for Faults in Tests (N).

[BibT_eX]

[DOI]

Matias Waterloo

Suzette Person

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Global Communications Conference, 2015

2014

Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Solving the Search for Source Code.

[BibT_eX]

[DOI]

Daniel Dobos

ACM Trans. Softw. Eng. Methodol., 2014

Safely reducing the cost of unit level symbolic execution through read/write analysis.

[BibT_eX]

[DOI]

Eric F. Rizzi

ACM SIGSOFT Softw. Eng. Notes, 2014

Techniques for improving regression testing in continuous integration development environments.

[BibT_eX]

[DOI]

John Penix

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Known unknowns: testing in the presence of uncertainty.

[BibT_eX]

[DOI]

David S. Rosenblum

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

On crop height estimation with UAVs.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

A framework to advise tests using tests.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Programmers' build errors: a case study (at google).

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces.

[BibT_eX]

[DOI]

Marc Fisher II

Softw. Test. Verification Reliab., 2013

Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes.

[BibT_eX]

[DOI]

Anita Sarma

Inf. Softw. Technol., 2013

Cascading verification: an integrated method for domain-specific model checking.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Optimizing monitoring of finite state properties through monitor compaction.

[BibT_eX]

[DOI]

Rahul Purandare

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Reducing failure rates of robotic systems though inferred invariants monitoring.

[BibT_eX]

[DOI]

Hengle Jiang

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Autonomous Aerial Water Sampling.

[BibT_eX]

[DOI]

Proceedings of the Field and Service Robotics, 2013

On the Use of Input/Output Queries for Code Search.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

2012

Toward semantic search via SMT solver.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Detecting problematic message sequences and frequencies in distributed systems.

[BibT_eX]

[DOI]

Charles Lucas

David S. Rosenblum

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Compositional load test generation for software pipelines.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Extracting conditional component dependence for distributed robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Sensing through the continent: towards monitoring migratory birds using cellular sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

Amplifying tests to validate exception handling code.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Lattice-Based Sampling for Path Property Monitoring.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.

[BibT_eX]

[DOI]

Rahul Purandare

Proceedings of the Runtime Verification - Second International Conference, 2011

Automatic generation of load tests.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Refactoring pipe-like mashups for end-user programmers.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

End-User Programmers and their Communities: An Artifact-based Analysis.

[BibT_eX]

[DOI]

Anita Sarma

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2010

Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Multi-layer faults in the architectures of mobile, context-aware adaptive applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Experimental program analysis.

[BibT_eX]

[DOI]

Joseph R. Ruthruff

Inf. Softw. Technol., 2010

Unifying verification and validation techniques: relating behavior and properties through partial evidence.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Monitor optimization via stutter-equivalent loop transformation.

[BibT_eX]

[DOI]

Rahul Purandare

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Simulating and testing mobile wireless sensor networks.

[BibT_eX]

[DOI]

Felipe Chavez-Ramirez

Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010

Exploring the use of crowdsourcing to support empirical studies in software engineering.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009

Carving and Replaying Differential Unit Test Cases from System Test Cases.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Revealing the copy and paste habits of end users.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Saturation-based testing of concurrent programs.

[BibT_eX]

[DOI]

Elena Sherman

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Whitening SOA testing.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008

Using scenario-based requirements to direct research on web macro tools.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2008

Model-based fault detection in context-aware adaptive applications.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Differential symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Using assertions to help end-user programmers create dependable web macros.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Increasing Test Granularity by Aggregating Unit Tests.

[BibT_eX]

[DOI]

Matthew Jorde

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Reducing the Cost of Path Property Monitoring Through Sampling.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Trace Normalization.

[BibT_eX]

[DOI]

Matthew Dwyer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Using topes to validate and reformat data in end-user programming tools.

[BibT_eX]

[DOI]

Proceedings of the 4th international workshop on End-user software engineering, 2008

Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Software Architectures and Mobility, 2008

Predicting accurate and actionable static analysis warnings: an experimental approach.

[BibT_eX]

[DOI]

Joseph R. Ruthruff

John Penix

J. David Morgenthaler

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Most cited journal articles in software engineering.

[BibT_eX]

[DOI]

Claes Wohlin

Martin J. Shepperd

Inf. Softw. Technol., 2007

Trace anomalies as precursors of field failures: an empirical study.

[BibT_eX]

[DOI]

Anneliese Amschler Andrews

Empir. Softw. Eng., 2007

Supporting end-users in the creation of dependable web clips.

[BibT_eX]

[DOI]

Sandeep Lingam

Proceedings of the 16th International Conference on World Wide Web, 2007

Scenario-Based Requirements for Web Macro Tools.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Scaling up SLA monitoring in pervasive environments.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

Reducing irrelevant trace variations.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Automated Generation of Context-Aware Tests.

[BibT_eX]

[DOI]

Zhimin Wang

David S. Rosenblum

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Adaptive Online Program Analysis.

[BibT_eX]

[DOI]

Alex Kinneer

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Parallel Randomized State-Space Search.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Dynamic Characterization of Web Application Interfaces.

[BibT_eX]

[DOI]

Marc Fisher II

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Dependability in Web Software.

[BibT_eX]

[DOI]

Marc Fisher II

Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

2006

Leveraging disposable instrumentation to reduce coverage collection overhead.

[BibT_eX]

[DOI]

Kalyan-Ram Chilakamarri

Softw. Test. Verification Reliab., 2006

Carving differential unit test cases from system test cases.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Controlling factors in evaluating path-sensitive error detection techniques.

[BibT_eX]

[DOI]

Suzette Person

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Experimental program analysis: a new program analysis paradigm.

[BibT_eX]

[DOI]

Joseph R. Ruthruff

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Probe Distribution Techniques to Profile Events in Deployed Software.

[BibT_eX]

[DOI]

Myra B. Cohen

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Empirically driven SE research: state of the art and required maturity.

[BibT_eX]

[DOI]

Victor R. Basili

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Leveraging User-Session Data to Support Web Application Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Profiling Deployed Software: Assessing Strategies and Testing Opportunities.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Fault patterns in Matlab.

[BibT_eX]

[DOI]

Fidel Nkwocha

ACM SIGSOFT Softw. Eng. Notes, 2005

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact.

[BibT_eX]

[DOI]

Hyunsook Do

Empir. Softw. Eng., 2005

Garbage Collection in the Presence of Remote Objects: An Empirical Study.

[BibT_eX]

[DOI]

Witawas Srisa-an

Mulyadi Oey

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Helping End-Users "Engineer" Dependable Web Applications.

[BibT_eX]

[DOI]

Kalyan-Ram Chilakamarri

Bhuvana Gopal

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

The first workshop on end-user software engineering.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

On test suite composition and cost-effective regression testing.

[BibT_eX]

[DOI]

Praveen Kallakuri

Xuemei Qiu

ACM Trans. Softw. Eng. Methodol., 2004

Selecting a Cost-Effective Test Case Prioritization Technique.

[BibT_eX]

[DOI]

Softw. Qual. J., 2004

Building an infrastructure to support experimentation with software testing techniques.

[BibT_eX]

[DOI]

Hyunsook Do

ACM SIGSOFT Softw. Eng. Notes, 2004

An empirical study of profiling strategies for released software and their impact on testing activities.

[BibT_eX]

[DOI]

Madeline Hardojo

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Reducing Coverage Collection Overhead With Disposable Instrumentation.

[BibT_eX]

[DOI]

Kalyan-Ram Chilakamarri

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques.

[BibT_eX]

[DOI]

Hyunsook Do

Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004

2003

Understanding the effects of changes on the cost-effectiveness of regression testing techniques.

[BibT_eX]

[DOI]

Praveen Kallakuri

Softw. Test. Verification Reliab., 2003

Putting Your Best Tests Forward.

[BibT_eX]

[DOI]

IEEE Softw., 2003

Quality assurance under the open source development model.

[BibT_eX]

[DOI]

Luyin Zhao

J. Syst. Softw., 2003

Anomalies as Precursors of Field Failures.

[BibT_eX]

[DOI]

Anneliese Amschler Andrews

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Improving Web Application Testing with User Session Data.

[BibT_eX]

[DOI]

Srikanth Karre

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Test Case Prioritization: A Family of Empirical Studies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Can fault-exposure-potential estimates improve the fault detection abilities of test suites?

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

An Empirical Study of Tracing Techniques from a Failure Analysis Perspective.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

The impact of test suite granularity on the cost-effectiveness of regression testing.

[BibT_eX]

[DOI]

Praveen Kallakuri

Brian Davia

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Understanding and Measuring the Sources of Variation in the Prioritization of Regression Test Suites.

[BibT_eX]

[DOI]

David Gable

Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

The Impact of Software Evolution on Code Coverage Information.

[BibT_eX]

[DOI]

David Gable

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Evaluating regression test suites based on their fault exposure capability.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2000

A survey on quality related activities in <i>open source</i>.

[BibT_eX]

[DOI]

Luyin Zhao

ACM SIGSOFT Softw. Eng. Notes, 2000

Prioritizing test cases for regression testing.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Software Black Box: An Alternative Mechanism for Failure Analysis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999

Software Evolution and the Code Fault Introduction Process.

[BibT_eX]

Empir. Softw. Eng., 1999

Intrusion Detection Through Dynamic Software Measurement.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Intrusion Detection and Network Monitoring, 1999

Software Reliability as a Function of User Execution Patterns.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Getting a Handle on the Fault Injection Process: Validation of Measurement Tools.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Software Metrics Symposium (METRICS 1998), 1998

Code Churn: A Measure for Estimating the Impact of Code Change.

[BibT_eX]

[DOI]