Winners of the ACM SIGSOFT Distinguished Paper Award
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
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
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
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
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"
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
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
May 23-28, 2004, Edinburgh, Scotland, United
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,
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
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,
Dimitra Giannakopoulou, Corina Pasareanu, Howard Barringer, "Assumption Generation for Software Component Generation"
10th ACM SIGSOFT Symposium on the Foundations of Software
November 20-22, 2002, Charleston, South
Andreas Zeller, "Isolating Cause-effect Chains from Computer Programs"
International Symposium on Software Testing and Analysis
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"