David Notkin

ACM SIGSOFT Softw. Eng. Notes, 2012

Speculative analysis of integrated development environment recommendations.

[BibT_eX]

[DOI]

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

Improving IDE recommendations by considering global implications of existing recommendations.

[BibT_eX]

[DOI]

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

Industrially validating longitudinal static and dynamic analyses.

[BibT_eX]

[DOI]

Mark S. Hancock

Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

2011

Crystal: precise and unobtrusive conflict warnings.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Proactive detection of collaboration conflicts.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Identifying opaque behavioural changes.

[BibT_eX]

[DOI]

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

Identifying program, test, and environmental changes that affect behaviour.

[BibT_eX]

[DOI]

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

First workshop on developing tools as plug-ins: (TOPI 2011).

[BibT_eX]

[DOI]

Judith Bishop

Karin K. Breitman

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

2010

Speculative analysis: exploring future development states of software.

[BibT_eX]

[DOI]

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

Exposing unforeseen consequences of software change.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

Using twinning to adapt programs to alternative APIs.

[BibT_eX]

[DOI]

Marius Nita

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

Enhancing static source code search with dynamic data.

[BibT_eX]

[DOI]

Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, 2010

2009

Future of Mining Software Archives: A Roundtable.

[BibT_eX]

[DOI]

IEEE Softw., 2009

Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

White-box approaches for improved testing and analysis of configurable software systems.

[BibT_eX]

[DOI]

Marius Nita

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

Discovering and representing systematic code changes.

[BibT_eX]

[DOI]

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

2008

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).

[BibT_eX]

[DOI]

Mauro Pezzè

ACM Trans. Softw. Eng. Methodol., 2008

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

ACM TOSEM: FAQs and figures.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2008

2007

FAQs and figures.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2007

Dessert Island.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

Automatic Inference of Structural Changes for Matching across Program Versions.

[BibT_eX]

[DOI]

Dan Grossman

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

2006

Tool-assisted unit-test generation and selection based on operational abstractions.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2006

Program element matching for multi-version program analyses.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Detecting Redundant Unit Tests for AspectJ Programs.

[BibT_eX]

[DOI]

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

Unconventional Views on Conventional Wisdom about Software Engineering Research.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

2005

Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Using a clone genealogy extractor for understanding and supporting evolution of code clones.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.

[BibT_eX]

[DOI]

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

An empirical study of code clone genealogies.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs.

[BibT_eX]

[DOI]

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

05261 Abstracts Collection - Multi-Version Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Multi-Version Program Analysis, 26. June - 1. July 2005, 2005

05261 Summary - Multi-Version Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Multi-Version Program Analysis, 26. June - 1. July 2005, 2005

2004

Design snippets: partial design representations extracted from source code.

[BibT_eX]

[DOI]

Vibha Sazawal

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.

[BibT_eX]

[DOI]

Darko Marinov

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

A Study of Evolution in the Presence of Source-Derived Partial Design Representations.

[BibT_eX]

[DOI]

Vibha Sazawal

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

An Ethnographic Study of Copy and Paste Programming Practices in OOPL.

[BibT_eX]

[DOI]

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

Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Tool-Assisted Unit Test Selection Based on Operational Violations.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Panel: Empirical Validation-What, Why, When, and How.

[BibT_eX]

[DOI]

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

Mutually Enhancing Test Generation and Specification Inference.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 2003

Language Support for Connector Abstractions.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2003, 2003

2002

An Empirical Analysis of C Preprocessor Use.

[BibT_eX]

[DOI]

Michael D. Ernst

Greg J. Badros

IEEE Trans. Software Eng., 2002

Architecture-centric programming for adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Self-Healing Systems, 2002

Longitudinal program analysis.

[BibT_eX]

[DOI]

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

ArchJava: connecting software architecture to implementation.

[BibT_eX]

[DOI]

Jonathan Aldrich

Craig Chambers

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

Architectural Reasoning in ArchJava.

[BibT_eX]

[DOI]

Jonathan Aldrich

Craig Chambers

Proceedings of the ECOOP 2002, 2002

2001

Software Reflexion Models: Bridging the Gap between Design and Implementation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Dynamically Discovering Likely Program Invariants to Support Program Evolution.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Optimizing Symbolic Model Checking for Statecharts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Automated Support for Program Refactoring Using Invariants.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Third International Workshop on Economics-Driven Software Engineering Research.

[BibT_eX]

[DOI]

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

Panel: Perspectives on Software Engineering.

[BibT_eX]

E. James Whitehead Jr.

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

2000

A framework for preprocessor-aware C source code analyses.

[BibT_eX]

[DOI]

Greg J. Badros

Softw. Pract. Exp., 2000

Quickly detecting relevant program invariants.

[BibT_eX]

[DOI]

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

Dynamically Detecting Relevant Program Invariants.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

First Workshop on Economics-Driven Software Engineering Research.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Panel: Intellectual Property Issues in Software.

[BibT_eX]

[DOI]

Gregory J. Kirsch

Yannis Skulikaris

Proceedings of the 1999 International Conference on Software Engineering, 1999

Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.

[BibT_eX]

[DOI]

Amir Michail

Proceedings of the 1999 International Conference on Software Engineering, 1999

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

1998

Model Checking Large Software Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Abstractions for Portable, Scalable Parallel Programming.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1998

An Empirical Study of Static Call Graph Extractors.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1998

SIGPLAN and SIGSOFT Joint Efforts.

[BibT_eX]

Mary Lou Soffa

ACM SIGPLAN Notices, 1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

The Lifeblood of Our Field.

[BibT_eX]

[DOI]

Computer, 1998

Reasoning about Implicit Invocation.

[BibT_eX]

[DOI]

Somesh Jha

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach.

[BibT_eX]

[DOI]

Amir Michail

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.

[BibT_eX]

[DOI]

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

1997

FSE 96 special session: novel notions, wild ideas, and fun flames.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1997

Reengineering with Reflection Models: A Case Study.

[BibT_eX]

[DOI]

Computer, 1997

Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Evaluating The Mediator Method: Prism as a Case Study.

[BibT_eX]

[DOI]

Ira Kalet

IEEE Trans. Software Eng., 1996

Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17).

[BibT_eX]

[DOI]

D. Ross Jeffery

IEEE Trans. Software Eng., 1996

Lightweight Lexical Source Model Extraction.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1996

Letter from the executive committee.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1996

On the use of static typing to support operations on frameworks.

[BibT_eX]

Object Oriented Syst., 1996

Strategic Directions in Software Engineering and Programming Languages.

[BibT_eX]

[DOI]

Carl A. Gunter

John C. Mitchell

ACM Comput. Surv., 1996

Decoupling Change from Design.

[BibT_eX]

[DOI]

Michael VanHilst

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Using Role Components to Implement Collaboration-Based Designs.

[BibT_eX]

[DOI]

Michael VanHilst

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

Using C++ Templates to Implement Role-Based Designs.

[BibT_eX]

[DOI]

Michael VanHilst

Proceedings of the Object Technologies for Advanced Software, 1996

Semi-automatic update of applications in response to library changes.

[BibT_eX]

[DOI]

Kingsum Chow

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

An Empirical Study of Static Call Graph Extractors.

[BibT_eX]

[DOI]

Erica S.-C. Lan

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

1995

Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Software Reflexion Models: Bridging the Gap Between Source and High-Level Models.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Lightweight Source Model Extraction.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

1994

Nico Habermann's Research: A Brief Retrospective.

[BibT_eX]

[DOI]

J. Frits Habermann

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

1993

Program Structuring for Effective Parallel Portability.

[BibT_eX]

[DOI]

Gail A. Alverson

IEEE Trans. Parallel Distributed Syst., 1993

Automated Assistance for Program Restructuring.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Electronic "How Things Work" Articles: Two Early Prototypes.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1993

SIGSOFT '93: Foundations of Software Engineering.

[BibT_eX]

ACM SIGSOFT Softw. Eng. Notes, 1993

Nico Habermann remembered.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1993

Computer Science in Japanese Universities.

[BibT_eX]

[DOI]

Richard D. Schlichting

Computer, 1993

Adding Implicit Invocation to Languages: Three Approaches.

[BibT_eX]

[DOI]

Proceedings of the Object Technologies for Advanced Software, 1993

Difficulties with Object-Oriented Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Studies of Software Design, 1993

1992

Reconciling Environment Integration and Software Evolution.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1992

Error Reporting with Graduated Color.

[BibT_eX]

[DOI]

Bruce Oberg

IEEE Softw., 1992

Computer-aided vs. manual program restructuring.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1992

Using Tool Abstraction to Compose Systems.

[BibT_eX]

[DOI]

Gail E. Kaiser

Computer, 1992

1991

Formalizing Design Spaces: Implicit Invocation Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1990

Proxies: A Software Structure for Accommodating Heterogeneity.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1990

Reconciling environment integration and component independence.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

A flexible communication abstraction for nonshared memory parallel computing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

A Heterogeneous Distributed File System.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Integrating Heterogeneous Local Mail Systems.

[BibT_eX]

[DOI]

Mark S. Squillante

IEEE Softw., 1989

Performance Implications of Design Alternatives for Remote Procedure Call Stubs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Reasoning About Interactive Systems.

[BibT_eX]

[DOI]

Vincenzo Ambriola

IEEE Trans. Software Eng., 1988

Interconnecting Heterogeneous Computer Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1988

The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction).

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Experiences with Poker.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Voyeur: Graphical Views of Parallel Programs.

[BibT_eX]

[DOI]

David Socha

Mary L. Bailey

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Applying software process models to the full lifecycle is premature.

[BibT_eX]

[DOI]

Proceedings of the Forth International Software Process Workshop, 1988

Extension and Software Development.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1988

Debugging Parallel Programs using Graphical Views.

[BibT_eX]

Mary L. Bailey

David Socha

Proceedings of the International Conference on Parallel Processing, 1988

1987

Guest Editors' Introduction: Integrated Design and Programming Environments.

[BibT_eX]

[DOI]

Peter B. Henderson

Computer, 1987

Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.

[BibT_eX]

[DOI]

Commun. ACM, 1987

A Name Service for Evolving, Heterogeneous Systems.

[BibT_eX]

[DOI]

Michael F. Schwartz

John Zahorjan

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Enhancement through extension: the extension interpreter.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

Accommodating Heterogeneity.

[BibT_eX]

[DOI]

Proceedings of the Experiences with Distributed Systems, 1987

1986

Gandalf: Software Development Environments.

[BibT_eX]

[DOI]

A. Nico Habermann

IEEE Trans. Software Eng., 1986

Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.

[BibT_eX]

ACM SIGOPS Oper. Syst. Rev., 1986

Programming Solutions to the Algorithm Contraction Problem.

[BibT_eX]

Lawrence Snyder

Proceedings of the International Conference on Parallel Processing, 1986

1985

The GANDALF project.

[BibT_eX]

[DOI]

J. Syst. Softw., 1985

1980

Cheating Policy in a Computer Science Department.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 1980

An experience with parallelism in Ada.

[BibT_eX]

[DOI]