|
Winners of the ACM SIGSOFT Distinguished Paper Award
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, Muhammad Ali Babar, Mark Staples, "An
Evaluation of Proposed Guidelines for Reporting Software
Engineering Experiments"
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 Interactions in
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,
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"
|