Mary Jean Harrold

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

Heap cloning: Enabling dynamic symbolic execution of java programs.

[BibT_eX]

[DOI]

Saswat Anand

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

Dynamic invariant detection for relational databases.

[BibT_eX]

[DOI]

Jake Cobb

Gregory M. Kapfhammer

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), 2011

Applying aggressive propagation-based strategies for testing changes.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Regression testing in the presence of non-code changes.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Outsourced, Offshored Software-Testing Practice: Vendor-Side Experiences.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

Studying the Influence of Culture on Outsourced, Offshored Software-Testing Practice: An Ethnographic Approach.

[BibT_eX]

[DOI]

Nancy J. Nersessian

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

2010

Understanding Exception Handling: Viewpoints of Novices and Experts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis.

[BibT_eX]

[DOI]

George K. Baah

Andy Podgurski

IEEE Trans. Software Eng., 2010

Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors.

[BibT_eX]

[DOI]

Wanchun Li

Proceedings of the ASE 2010, 2010

Exploiting program dependencies for scalable multiple-path symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Causal inference for statistical fault localization.

[BibT_eX]

[DOI]

George K. Baah

Andy Podgurski

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Precisely Detecting Runtime Change Interactions for Evolving Software.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Studying human and social aspects of testing in a service-based software company: case study.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Cooperative and Human Aspects of Software Engineering, 2010

Falcon: fault localization in concurrent programs.

[BibT_eX]

[DOI]

Sangmin Park

Richard W. Vuduc

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Introducing Continuous Systematic Testing of Evolving Software.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Recomputing Coverage Information to Assist Regression Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Fault localization and repair for Java runtime exceptions.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Reduce, reuse, recycle, recover: Techniques for improved regression testing.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Exception handling negligence due to intra-individual goal conflicts.

[BibT_eX]

[DOI]

Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering, 2009

Lightweight fault-localization using multiple coverage types.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Automated scalable test-suite augmentation for evolving software.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Visualization of exception handling constructs to support program understanding.

[BibT_eX]

[DOI]

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Why do developers neglect exception handling?

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Exception Handling, 2008

Test-Suite Augmentation for Evolving Software.

[BibT_eX]

[DOI]

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

Testing evolving software: Current practice and future promise.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Regression test selection on system requirements.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Using random test selection to gain confidence in modified software.

[BibT_eX]

[DOI]

Wanchun Li

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

An empirical study of the effects of test-suite reduction on fault localization.

[BibT_eX]

[DOI]

Yanbing Yu

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

2007

Using component metadata to regression test component-based software.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2007

JDiff: A differencing technique and tool for object-oriented programs.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

Type-Dependence Analysis and Program Transformation for Symbolic Execution.

[BibT_eX]

[DOI]

Saswat Anand

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Efficiently monitoring data-flow test coverage.

[BibT_eX]

[DOI]

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

Debugging in Parallel.

[BibT_eX]

[DOI]

James F. Bowring

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

Re-computing Coverage Information to Assist Regression Testing.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage.

[BibT_eX]

[DOI]

Ahmed S. Ghiduk

Moheb R. Girgis

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Subsumption of program entities for efficient coverage and monitoring.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

On-line anomaly detection of deployed software: a statistical machine learning approach.

[BibT_eX]

[DOI]

George K. Baah

Alexander G. Gray

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Evaluation of mutation testing for object-oriented programs.

[BibT_eX]

[DOI]

Yu-Seung Ma

Yong Rae Kwon

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

2005

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.

[BibT_eX]

[DOI]

Maikel Pennings

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Empirical evaluation of the tarantula automatic fault-localization technique.

[BibT_eX]

[DOI]

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

Efficient and precise dynamic impact analysis using execute-after sequences.

[BibT_eX]

[DOI]

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

2004

Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2004

GAMMATELLA: visualizing program-execution data for deployed software.

[BibT_eX]

[DOI]

Inf. Vis., 2004

Static and Dynamic Analyses of Programs with Implicit Control Flow.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Scaling regression testing to large software systems.

[BibT_eX]

[DOI]

Nanjuan Shi

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

A Differencing Algorithm for Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Active learning for automatic classification of software behavior.

[BibT_eX]

[DOI]

James F. Bowring

James M. Rehg

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

Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Gammatella: Visualization of Program-Execution Data for Deployed Software.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

An Empirical Comparison of Dynamic Impact Analysis Algorithms.

[BibT_eX]

[DOI]

James Law

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Wilhelm Schäfer

IEEE Trans. Software Eng., 2003

Visualization of Program-Execution Data for Deployed Software.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM 2003 Symposium on Software Visualization, 2003

Leveraging field data for impact analysis and regression testing.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis.

[BibT_eX]

[DOI]

Antonia Bertolino

IEEE Trans. Software Eng., 2002

Equivalence analysis and its application in improving the efficiency of program slicing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Empirical studies of test-suite reduction.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

Monitoring deployed software using software tomography.

[BibT_eX]

[DOI]

James F. Bowring

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

Selective path profiling.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

Gamma system: continuous evolution of software after deployment.

[BibT_eX]

[DOI]

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

Evaluating the precision of static reference analysis using profiling.

[BibT_eX]

[DOI]

Maikel Pennings

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

A Technique for Dynamic Updating of Java Software.

[BibT_eX]

[DOI]

Anup Rao

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

Visualization of test information to assist fault localization.

[BibT_eX]

[DOI]

John T. Stasko

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

2001

Prioritizing Test Cases For Regression Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Empirical Studies of a Prediction Model for Regression Test Selection.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Interprocedural control dependence.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2001

An empirical study of regression test selection techiques.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2001

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 8th International Symposium, 2001

Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java.

[BibT_eX]

[DOI]

Maikel Pennings

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Regression Test Selection for Java Software.

[BibT_eX]

[DOI]

Steven Alexander Spoon

Ashish Gujarathi

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Effects of Pointers on Data Dependences.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Technical Note: Visually Encoding Program Test Information to Find Faults in Software.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Information Visualization 2001 (INFOVIS'01), 2001

Incremental Slicing Based on Data-Dependences Types.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

Analysis and Testing of Programs with Exception Handling Constructs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Regression Test Selection for C++ Software.

[BibT_eX]

[DOI]

Jeinay Dedhia

Softw. Test. Verification Reliab., 2000

An Empirical Investigation of the Relationship Between Spectra Differences and Regression Faults.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Light-weight context recovery for efficient and accurate program analyses.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Testing: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Component Metadata for Software Engineering Tasks.

[BibT_eX]

[DOI]

David S. Rosenblum

Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

1999

Guest Editorial: Introduction to the Special Section - International Conference on Software Maintenance (ICSM'97).

[BibT_eX]

[DOI]

Hausi A. Müller

IEEE Trans. Software Eng., 1999

Test-Data Generation Using Genetic Algorithms.

[BibT_eX]

[DOI]

Roy P. Pargas

Robert Peck

Softw. Test. Verification Reliab., 1999

Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Testing evolving software.

[BibT_eX]

[DOI]

J. Syst. Softw., 1999

Criteria for Testing Exception-Handling Constructs in Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Maintenance, 1999

Test Case Prioritization: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Maintenance, 1999

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Maintenance, 1999

System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Efficient Points-to Analysis for Whole-Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1999

1998

Empirical Studies of a Safe Regression Test Selection Technique.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Empirical Studies of Control Dependence Graph Size for C Programs.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1998

An Empirical Investigation of Program Spectra.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Computation of Interprocedural Control Dependence.

[BibT_eX]

[DOI]

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Analysis of Programs with Exception-Handling Constructs.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Slicing Objects Using System Dependence Graphs.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Reuse-Driven Interprocedural Slicing.

[BibT_eX]

[DOI]

Ning Ci

Proceedings of the Forging New Links, 1998

An Empirical Study of Regression Test Selection Techniques.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

1997

A Safe, Efficient Regression Test Selection Technique.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph.

[BibT_eX]

[DOI]

Kanupriya Tewary

J. Syst. Softw., 1997

Experience With Regression Test Selection.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1997

TUMS: testing using mutant schemata.

[BibT_eX]

[DOI]

Roland H. Untch

Proceedings of the 35th Annual Southeast Regional Conference, 1997

1996

Analyzing Regression Test Selection Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Separate Computation of Alias Information for Reuse.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Program Slicing-Based Regression Testing Techniques.

[BibT_eX]

[DOI]

Rajiv Gupta

Softw. Test. Verification Reliab., 1996

Slicing Object-Oriented Software.

[BibT_eX]

[DOI]

Loren Larsen

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Aristotle: a system for development of program analysis based tools.

[BibT_eX]

[DOI]

Proceedings of the 33th Annual Southeast Regional Conference, 1995

1994

Efficient Computation of Interprocedural Definition-Use Chains.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Performing Data Flow Testing on Classes.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Selecting Tests and Identifying Test Coverage Requirements for Modified Software.

[BibT_eX]

[DOI]

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

Fault modeling using the program dependence graph.

[BibT_eX]

[DOI]

Kanupriya Tewary

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Perforining Data Flow Testing in Parallel.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Processing, 1994

Selecting Regression Tests for Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

A Framework for Evaluating Regression Test Selection Techniques.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

A Unified Interprocedural Program Representation for a Maintenance Environment.

[BibT_eX]

[DOI]

Brian A. Malloy

IEEE Trans. Software Eng., 1993

A Methodology for Controlling the Size of a Test Suite.

[BibT_eX]

[DOI]

Rajiv Gupta

ACM Trans. Softw. Eng. Methodol., 1993

A software metric system for module coupling.

[BibT_eX]

[DOI]

Priyadarshan Kolte

J. Syst. Softw., 1993

Load/Store Range Analysis for Global Register Allocation.

[BibT_eX]

[DOI]

Priyadarshan Kolte

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

Mutation Analysis Using Mutant Schemata.

[BibT_eX]

[DOI]

Roland H. Untch

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

Efficient Construction of Program Dependence Graphs.

[BibT_eX]

[DOI]

Brian A. Malloy

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

A Safe, Efficient Algorithm for Regression Test Selection.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1993

1992

Data flow testing of parallelized code.

[BibT_eX]

[DOI]

Brian A. Malloy

Proceedings of the Conference on Software Maintenance, 1992

An approach to regression testing using slicing.

[BibT_eX]

[DOI]

Rajiv Gupta

Proceedings of the Conference on Software Maintenance, 1992

Incremental Testing of Object-Oriented Class Structures.

[BibT_eX]

[DOI]

John D. McGregor

Kevin J. Fitzpatrick

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Selecting and Using Data fro Integration Testing.

[BibT_eX]

[DOI]

IEEE Softw., 1991

The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Computation of Interprocedural Definition and Use Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

Interprocedual Data Flow Testing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

An incremental approach to unit testing during maintenance.

[BibT_eX]

[DOI]