On this page:

ACM SIGSOFT Distinguished Paper Award

ACM SIGSOFT encourages SIGSOFT-sponsored conferences to designate a number of accepted papers for ACM SIGSOFT Distinguished Paper Awards for the conference. In addition to presenting certificates to the authors of awarded papers, two awarded papers from each ICSE, FSE and ESEC will be invited for presentation at the following India Software Engineering Conference (ISEC), which is sponsored by SIGSE, the Special Interest Group on Software Engineering of the Computer Society of India (CSI).


Number of ACM SIGSOFT Distinguished Papers

In cases where the number of accepted papers is less than or equal to ten, one paper can be designated; in cases where the number of accepted papers is 11 through 20 inclusive, two papers can be designated; otherwise, 10% of the papers can be designated.

Selecting ACM SIGSOFT Distinguished Papers

ACM SIGSOFT Distinguished Paper Awards are to be awarded only for full-length technical papers accepted by the program committee for the main track of a SIGSOFT-sponsored meeting. They are not intended for abstracts or short papers, for papers from satellite or co-located events such as workshops and doctoral symposia, or for demo papers, panel summaries, invited papers and other such supplementary contributions. The program committee will take a weighted vote, respecting the conflict of interest rules in place for the conference, to identify the top candidates among the papers. The program committee chair(s) will use the results of the weighted votes as a primary basis for selecting the award papers.

Notifying Recipients of ACM SIGSOFT Distinguished Papers

Conference organizers can also decide how they want to notify the recipients of the Distinguished Paper awards. One possibility is to postpone the announcement of the award until an awards ceremony at the conference. Another possibility is to place the Distinguished Papers in strategic locations in the program -- for example, the first (or last) paper(s) in the program.

How to Prepare ACM SIGSOFT Distinguished Papers Award Certificates

Contact Maritza Nichols at ACM (nichols@hq.acm.org) and she will provide you with a template you may use to create certificates.


Automated Software Engineering (ASE 2016)
September 3 - 7, 2016, Singapore

Lili Wei, Yepang Liu and Shing-Chi Cheung: Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps

Alisa J. Maas, Henrique Nazaré and Ben Liblit: Array Length Inference for C Library Bindings

Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu and Darko Marinov: How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications

Mariano Ceccato, Cu D. Nguyen, Dennis Appelt and Lionel Briand: SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities

Zvonimir Pavlinovic, Akash Lal and Rahul Sharma: Inferring Annotations for Device Drivers from Verification Histories

International Symposium on Software Testing and Analysis (ISSTA 2016)
July 17 - 21, 2016, Saarbrücken, Germany

Christoffer Quist Adamsen, Gianluca Mezzetti and Anders Møller: Analyzing Test Completeness for Dynamic Languages

Rashmi Mudduluru and Murali Krishna Ramanathan: Efficient Flow Profiling for Detecting Performance Bugs

Automated Software Engineering (ASE 2015)
November 9 - 13, 2015, Lincoln, Nebraska

Sina Shamshiri, Rene Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, and Andrea Arcuri: Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, and Rudolf Ramler: GRT: Program-Analysis-Guided Random Testing

Tuan Nguyen and Christoph Csallner: Reverse Engineering Mobile Application User Interfaces With REMAUI

Yi Zhang, Jianmei Guo, Eric Blais, and Krzysztof Czarnecki: Performance Prediction of Configurable Software Systems by Fourier Learning

Krishna Narasimhan and Christoph Reichenbach: Copy and Paste Redeemed

Yi Li, Julia Rubin, and Marsha Check: Semantic Slicing of Software Version Histories

International Symposium on Software Testing and Analysis (ISSTA 2015)
July 14 - 17, 2015, Baltimore, Maryland

Christoffer Quist Adamsen, Gianluca Mezzetti and Anders Møller: Systematic Execution of Android Test Suites in Adverse Conditions

Milos Gligoric, Lamyaa Eloussi and Darko Marinov: Practical Regression Test Selection with Dynamic File Dependencies

Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean and Justyna Petke: Automated Software Transplantation

International Conference on Software Engineering (ICSE 2015)
May 16 - 24, 2015, Florence, Italy

Janet Siegmund, Norbert Siegmund, and Sven Apel: Views on Internal and External Validity in Empirical Software Engineering

Michael Waterman, James Noble, and George Allan: How Much Up-Front? A Grounded theory of Agile Architecture

Michele Tufano, Fabio Palomba, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia, and Denys Poshyvanyk: When and Why Your Code Starts to Smell Bad

Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, and Daniel Jackson: Alloy: A General-Purpose Higher-Order Relational Constraint Solver

Mathieu Lavallee and Pierre N. Robillard: Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality

Adrian Nistor, Po-Chun Chang, Cosmin Radoi, and Shan Lu: CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes

Foundations of Software Engineering (FSE 2014)
November 16 - 21, 2014, Hong Kong

Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann, Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study

Annie T.T. Ying and Martin P. Robillard, Selection and Presentation Practices for Code Example Summarization

Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton, Learning Natural Coding Conventions

Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng, AI: A Lightweight System for Tolerating Concurrency Bugs

Akash Lal and Shaz Qadeer, Powering the Static Driver Verifier using Corral

René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser, Are Mutants a Valid Substitute for Real Faults in Software Testing?

International Symposium on Software Testing and Analysis (ISSTA 2014)
July 21-25, 2014, San Jose, California

Omer Tripp, Pietro Ferrara, and Marco Pistoia, Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation

Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim, CrashLocator: Locating Crashing Faults Based on Crash Stacks

René Just, Michael D. Ernst, and Gordon Fraser, Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States

International Conference on Software Engineering (ICSE 2014)
May 31 - June 7, 2014, Hyderabad, India

Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan, Cowboys, Ankle Sprains, and Keepers of Quality: How is Video Game Development Different from Software Development?

Yepang Liu, Chang Xu, and Shing-Chi Cheung, Characterizing and Detecting Performance Bugs for Smartphone Applications

Paige Rodeghero, Collin McMillan, Paul W. McBurney, Nigel Bosch, and Sidney D'Mello, Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers

Jonathan Bell and Gail Kaiser, Unit Test Virtualization with VMVM

Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, and Karthik Pattabiraman, Understanding JavaScript Event-Based Interaction

Laura Inozemtseva and Reid Holmes, Coverage Is Not Strongly Correlated with Test Suite Effectiveness

Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley, Enhancing Symbolic Execution with Veritesting

Nélio Cacho, Thiago César, Thomas Filipe, Eliezio Soares, Arthur Cassio, Rafael Souza, Israel Garcia, Eiji Adachi Barbosa, and Alessandro Garcia, Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs

Semih Okur, David L. Hartveld, Danny Dig, and Arie van Deursen, A Study and Toolkit for Asynchronous Programming in C#

Automated Software Engineering (ASE 2013)
November 11-15, 2013, Palo Alto, California

Yonghwi Kwon, Xiangyu Zhang and Dongyan Xu, PIEtrace: Platform Independent Executable Trace

Peter Ohmann and Ben Liblit, Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging

Favio Palomba, Gabriele Bavota, Massimilano Di Penta, Rocco Oliveto, Andrea De Lucia and Denys Poshyvanyk, Detecting Bad Smells in Source Code Using Change History Information

European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE 2013)
August 18-26, 2013, Saint Petersburg, Russia

No distinguished paper awards were given.

Automated Software Engineering (ASE 2012)
September 3-7, 2012, Essen, Germany

Hyunmin Seo and Sunghun Kim, Predicting Recurring Crash Stacks

Anh Tuan Nguyen, Tung Thanh Nguyen, Tien Nguyen, David Lo, and Chengnian Sun, Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling

34th International Conference on Software Engineering (ICSE 2012)
June 2-9, 2012, Zurich, Switzerland

Anders Møller and Mathias Schwarz, Automated detection of client-state manipulation vulnerabilities

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest, Using Dynamic Analysis to Discover Polynomial and Array Invariants

Will Dietz, Peng Li, John Regehr and Vikram Adve, Understanding integer overflow in C/C++

Tobias Roehm, Rebecca Tiarks, Rainer Koschke and Walid Maalej, How Do Professional Developers Comprehend Software?

Pingyu Zhang and Sebastian Elbaum, Amplifying Tests to Validate Exception Handling Code

Mehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang and Murat Cinar, A Tactic-Centric Approach for Automating Traceability of Quality Concerns

Michalis Famelis, Rick Salay and Marsha Chechik, Partial Models: Towards Modeling and Reasoning with Uncertainty

The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
September 5-9, 2011, Szeged, Hungary

Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy and Lakshmi Bairavasundaram, How Do Fixes Become Bugs? -- A Comprehensive Characteristic Study on Incorrect Fixes in Commercial and Open Source Operating Systems

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman and Sara Navidpour, Proving Programs Robust

Yuriy Brun, Reid Holmes, Michael Ernst and David Notkin, Proactive Detection of Collaboration Conflicts

International Symposium on Software Testing and Analysis (ISSTA 2011)
July 17-21, 2011, Toronto, Ontario

Nathan Rosenblum, Barton Miller, and Xiaojin Zhu, Recovering the Toolchain Provenance of Binary Code

Patrice Godefroid and Daniel Luchaup, Automatic Partial Loop Summarization in Dynamic Test Generation

Takaaki Tateishi, Marco Pistoia, and Omer Tripp, Path- and Index-sensitive String Analysis based on Monadic Second-order Logic

33rd International Conference on Software Engineering (ICSE 2011)
May 21-28, 2011, Honolulu, Hawaii

Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli, Run-Time Efficient Probabilistic Model Checking

Lucas Cordeiro and Bernd Fischer, Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking

Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna Balan, and James D. Herbsleb, Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Profits

Horatiu Dumitru, Marek Gibiec, Negar Hariri, Jane Cleland-Huang, Bamshad Mobasher, Carlos Castro-Herrera, and Mehdi Mirakhorli, On-demand Feature Recommendations Derived from Mining Public Product Descriptions

Matt Staats, Michael W. Whalen, and Mats P.E. Heimdahl, Programs, Tests, and Oracles: The Foundations of Testing Revisited

ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 18)
November 7-11, 2010, Santa Fe, New Mexico

Nishant Sinha and Chao Wang, Staged Concurrent Program Analysis

Minghui Zhou and Audris Mockus, Developer Fluency: Achieving True Mastery in Software Projects

Barthélémy Dagenais and Martin P. Robillard: Creating and Evolving Developer Documentation: Understanding the Decisions of Open Source Contributors

ACM Symposium on Software Visualization (SOFTVIS 2010)
October 25-26, 2010, Salt Lake City, Utah

Emerson Murphy-Hill and Andrew P. Black, An Interactive Ambient Visualization for Code Smells

Mathias Frisch and Raimund Dachselt, Off-Screen Visualization Techniques for Class Diagrams

25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)
September 20-24, 2010, Antwerp, Belgium

Marek Gibiec, Adam Czauderna and Jane Cleland-Huang, Towards Mining Replacement Queries for Hard-to-Retrieve Traces

Adam Duley, Chris Spandikow and Miryung Kim, A Program Differencing Algorithm for Verilog HDL

Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori Pollock and K. Vijay-Shanker, Towards Automatically Generating Summary Comments for Java Methods

International Symposium on Software Testing and Analysis (ISSTA 2010)
July 12-16, 2010, Trento, Italy

Taeho Kwon and Zhendong Su, Automatic Detection of Unsafe Component Loadings

Andrea Arcuri, Zohaib Iqbal and Lionel Briand, Formal Analysis of the Effectiveness and Predictability of Random Testing

32nd International Conference on Software Engineering (ICSE 2010)
May 2-8, 2010, Cape Town, South Africa

Zibin Zheng, Michael R. Lyu, Collaborative Reliability Prediction of Service-Oriented Systems

Thomas Fritz, Jingwen Ou, Gail C. Murphy, Emerson Murphy-Hill, A Degree-of-Knowledge Model to Capture Source Code Familiarity

Jane Cleland-Huang, Adam Czauderna, John Emenecker, Marek Gibiec, A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements

Qiusong Yang, Mingshu Li, A Cut-off Approach for Bounded Verification of Parameterized Systems

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, Test Generation through Programming in UDITA

24th ACM/IEEE International Conference on Automated Software Engineering (ASE 2009)
November 16-20, 2009, Auckland, New Zealand

Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients

Hao Zhong, Lu Zhang, Tao Xie, Hong Mei, Inferring Resource Specifications from Natural Language API Documentation

The 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009)
October 15-16, 2009, Lake Buena Vista, FL, USA

Natalia Juristo and Sira Vegas, Using Differences among Replications of Software Engineering Experiments to Gain Knowledge

The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
August 24-28, 2009, Amsterdam, The Netherlands

Jacob Burnim and Koushik Sen, Asserting and Checking Determinism for Multithreaded Programs

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, and Kapil Vaswani, DARWIN: An Approach for Debugging Evolving Programs

Tung Nguyen, Hoan Nguyen, Nam Pham, Jafar Al-Kofahi, and Tien Nguyen, Graph-based Mining of Multiple Object Usage Patterns

International Symposium on Software Testing and Analysis (ISSTA 2009)
July 19-23, 2009, Chicago, IL

William G.J. Halfond, Saswat Anand and Alessandro Orso, Precise Interface Identification to Improve Testing and Analysis of Web Applications

Adam Kiezun, Vijay Ganesh, Philip Guo, Pieter Hooimeijer and Michael Ernst, HAMPI: A Solver for String Constraints

31st International Conference on Software Engineering (ICSE 2009)
May 16-24, 2009, Vancouver, Canada

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay, Effective Static Deadlock Detection

Christian Bird, Nachiappan Nagappan, Premkumar Devanbu, Harald Gall, Brendan Murphy, Does Distributed Development Affect Software Quality? An Empirical Case Study of Windows Vista

Emerson Murphy-Hill, Chris Parnin, Andrew Black, How We Refactor, and How We Know It

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest, Automatically Finding Patches Using Genetic Programming

Ali Mesbah, Arie van Deursen, Invariant-Based Automatic Testing of AJAX User Interfaces

ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16)
November 11-13, 2008, Atlanta Georgia

Franco Raimondi, James Skene and Wolfgang Emmerich, Efficient online monitoring of web-service SLAs

Nicolas Bettenburg, Sascha Just, Adrian Schroter, Cathrin Weiss, Rahul Premraj, Thomas Zimmermann, What makes a good bug report?

The 2nd International Symposium on Empirical Software Engineering and Measurement (ESEM 2008)
October 9-10, 2008, Kaiserslautern, Germany

Marcelo Cataldo, James D. Herbsleb and Kathleen M. Carley, Socio-Technical Congruence: A Framework for Assessing the Impact of Technical and Work Dependencies on Software Development Productivity

ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008)

September 28-October 3, 2008, Toulouse, France

Ariadi Nugroho, Bas Flaton and Michel R.V. Chaudron, Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density

Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker, Semantically Configurable Code Generation

23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
September 15-19, 2008, L'Aquilla, Italy

Raul Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso and Mary Jean Harrold, Test-suite Augmentation for Evolving Software

Jesper Andersen and Julia L. Lawall, Generic Patch Inference

Patrick O'Neil Meredith, Dongyun Jin, Feng Chen and Grigore Rosu, Efficient Monitoring of Parametric Context-Free Patterns

International Symposium on Software Testing and Analysis (ISSTA 2008)
July 20-24, 2008, Seattle, WA

Raymond P.L. Buse and Westley R. Weimer, A Metric for Software Readability

Eric Bodden and Klaus Havelund, Racer: Effective Race Detection Using AspectJ

30th International Conference on Software Engineering (ICSE 2008)
May 10-18, 2008, Leipzig, Germany

Barthélémy Dagenais, Martin P. Robillard, Recommending Adaptive Changes for Framework Evolution

Guoqing Xu, Atanas Rountev, Precise Memory Leak Detection for Java Software Using Container Profiling

Andrew Ko, Brad Myers, Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior

Ajitha Rajan, Michael Whalen, Mats Heimdahl, The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage

Joseph Ruthruff, John Penix, David Morgenthaler, Sebastian Elbaum, Gregg Rothermel, Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach

International Conference on Automated Software Engineering (ASE 2007)
November 5-7, 2007, Atlanta, GA

Yannis Smaragdakis, Christoph Csallner, Scalable Automatic Test Data Generation from Modeling Diagrams

Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos, An Automated Approach for Monitoring and Diagnosing Requirements

Michal Antkiewicz, Thiago Bartolomei, Krzysztof Czarnecki, Automatic Extraction of Framework-Specific Models from Framework-Based Application Code

Joint 11th European Software Engineering Conference (ESEC 2007) and 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2007)
September 3-7, 2007, Dubrovnik, Croatia

Narayan Ramasubbu, Rajesh Krishna Balan, Globally Distributed Software Development Project Performance: An Empirical Analysis

Mihai Christodorescu, Somesh Jha, Christopher Kruegel, Mining Specifications of Malicious Behavior

Jamie Payton, Christine Julien, Gruia-Catalin Roman, Automatic Consistency Assessment for Query Results in Dynamic Environments

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst, Object and Reference Immutability using Java Generics

International Symposium on Software Testing and Analysis (ISSTA 2007)
July 9-12, 2007, London, UK

Ray-Yaung Chang, Andy Podgurski, Jiong Yang, Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software

Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia, Static Specification Mining Using Automata-Based Abstractions

29th International Conference on Software Engineering (ICSE 2007)
May 23-25, 2007, Minneapolis, MN, USA

Ekwa Duala-Ekoko, Martin P. Robillard, Tracking Code Clones in Evolving Software

Sunghun Kim, Thomas Zimmermann, E. James Whitehead, Jr., Andreas Zeller, Predicting Faults from Cached History

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave, Matching and Merging of Statecharts Specifications

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer, Refactoring for Parameterizing Java Classes

14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2006)
November 5-11, 2006, Portland, OR, USA

Matthew B. Dwyer, Suzette Person, Sebastian Elbaum, Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani, SYNERGY: A New Algorithm for Property Checking

International Symposium on Empirical Software Engineering (ISESE 2006)
September 21-22, 2006, Rio de Janeiro, Brazil

Barbara Kitchenham, Hiyam Al-Khilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, He Zhang, and Liming Zhu, Evaluating guidelines for empirical software engineering studies

Chris Lokan, Emilia Mendes, Cross-company and Single-company Effort Models using the ISBSG Database: a Further Replicated Study

International Conference on Automated Software Engineering (ASE 2006)
September 18-22, 2006, Tokyo, Japan

Nic Volanschi, A Portable Compiler-Integrated Approach to Permanent Checking

Leonardo Murta, Andre Van Der Hoek, Claudia Werner, ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links

International Symposium on Software Testing and Analysis (ISSTA 2006)
July 17-20, 2006, Portland, ME, USA

Stephen Fink, Eran Yahav, Ganesan Ramalingam, Nurit Dor, Emmanuel Geay, Effective Typestate Verification in the Presence of Aliasing

Christoph Csallner, Yannis Smaragdakis, DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

International Conference on Automated Software Engineering (ASE 2005)
November 7-11, 2005, Long Beach, California, USA

Aysu BetinCan, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp, Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software (Also winner of ASE 2005 best paper award)

Guillaume Langelier, Houari Sahraoui, Pierre Poulin, Visualization-based Analysis of Quality for Large-scale Software Systems

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2005)
September 5-9, 2005, Lisbon, Portugal

Martin P. Robillard, Automatic Generation of Suggestions for Program Investigation

Yichen Xie, Alex Aiken, Context- and Path-sensitive Memory Leak Detection

Koushik Sen, Darko Marinov, Gul Agha, CUTE: A Concolic Unit Testing Engine for C

International Conference on Software Engineering (ICSE 2005)
May 15-21, 2005, St. Louis, USA

Brian Demsky, Martin Rinard, Data Structure Repair Using Goal-Directed Reasoning

Reid Holmes, Gail Murphy, Using Structural Context to Recommend Source Code Examples

James Andrews, Lionel Briand, Yvan Labiche, Is Mutation an Appropriate Tool for Testing Experiments?

Andrew Ko, Htet Htet Aung, Brad Myers, Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance Tasks

12th International ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12)
October 31 - November 5, 2004, Newport Beach, California, USA

Martin Rinard, Alexandru Salcianu, Suhabe Bugrara, A Classification System and Analysis for Aspect-Oriented Programs

Emmanuel Letier, Axel van Lamsweerde, Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering

2004 International Conference on Software Engineering (ICSE 2004)
May 23-28, 2004, Edinburgh, Scotland, United Kingdom

Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang, "SNIAFL: Towards a Static Non-Interactive Approach to Feature Location"

Parastoo Mohagheghi, Reidar Conradi, Ole M. Killi, Henrik Schwarz, "An Empirical Study of Software Reuse vs. Defect-Density and Stability"

Carl Gould, Zhendong Su, Premkumar Devanbu, "Static Checking of Dynamically Generated Queries in Database Applications"

Johannes Henkel, Amer Diwan, "A Tool for Writing and Debugging Algebraic Specifications"

Rohit Khare, Richard N. Taylor, "Extending the REpresentational State Transfer (REST) Architectural Style for Decentralized Systems"

4th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003)
September 1-5, 2003, Helsinki, Finland

Stephen McCamant, Michael Ernst, "Predicting problems caused by component upgrades"

Gregory Kapfhammer, Mary Soffa, "A Family of Test Adequacy Criteria for Database-Driven Applications"

Stan Jarzabek, Shubiao Li, "Eliminating Redundancies with a Composition with Adaptation Meta-programming Technique"

2003 International Conference on Software Engineering (ICSE 2003)
May 3-10, 2003, Portland, Oregon, USA

X. Zhang, R. Gupta, Y. Zhang, "Precise Dynamic Slicing"

S. Chaki, E. Clarke, A. Groce, S. Jha, H. Veith, "Modular Verification of Software Components in C"

17th IEEE International Conference on Automated Software Engineering (ASE 2002)
September 23-27, 2002, Edinburgh, Scotland, United Kingdom

Dimitra Giannakopoulou, Corina Pasareanu, Howard Barringer, "Assumption Generation for Software Component Generation"

10th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10)
November 20-22, 2002, Charleston, South Carolina, USA

Andreas Zeller, "Isolating Cause-effect Chains from Computer Programs"

International Symposium on Software Testing and Analysis (ISSTA 2002)
July 22-24, 2002, Rome, Italy

John Whaley, Michael C. Martin, Monica S. Lam, "Automatic Extraction of Object-Oriented Component Interfaces"

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov, "Korat: Automated Testing Based on Java Predicates"