Wednesday, May 24 | Thursday, May 25 | Friday, May 26
Architecture & Design I
Wednesday, May 24 - 11:10am - 12:40pm - Yellow River Hall
Session Chair: Walter Tichy (University of Karlsruhe)
Architectural Support for Trust Models in Decentralized Applications, Girish Suryanarayana, Mamadou Diallo, Justin Erenkrantz, Richard Taylor, Institute for Software Research, University of California, Irvine, USA
Efficient Exploration of Service-Oriented Architectures using Aspects, Ingolf Krueger, Reena Mathew, University of California, San Diego, USA; Michael Meisinger, Technical University Munich, Germany
Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation, Holger Giese, Daniela Schilling, Florian Klein, Basil Becker, University of Paderborn, Germany; Dirk Beyer, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Test & Analysis I
Wednesday, May 24 - 11:00am - 12:30pm - Pearl Hall
Session Chair: Dave Evans (University of Virginia)
Improving Test Suites for Efficient Fault Localization, Benoit Baudry, Franck Fleurey, IRISA, France; Yves Le Traon, France Telecom R&D, France
Automated, Contract-based User Testing of Commercial-Off-The-Shelf Components, Lionel Briand, Yuan Labiche, Mike Sowka, Carleton University, Canada
An Intensional Approach to the Specification of Test Cases for Database Systems, David Willmor, Suzanne Embury, Univ. of Manchester, UK
Software Components & Reuse
Wednesday, May 24 - 2:00pm - 3:30pm - Yellow River Hall
Session Chair: Jeff Magee (Imperial College London)
Feature Oriented Refactoring of Legacy Applications, Jia Liu, Don Batory, University of Texas at Austin, USA; Christian Lengauer, University of Passau, Germany
Aspectual Mixin Layers: Aspects and Features in Concert, Sven Apel, Thomas Leich, Gunter Saake, University of Magdeburg, Germany
Evaluating Pattern Catalogs - The Computer Games Experience, Maria Cutumisu, Curtis Onuczko, Duane Szafron, Jonathan Schaeffer, Matthew McNaughton, Thomas Roy, Jeff Siegel, Mike Carbonaro, University of Alberta, Canada
Test & Analysis II
Wednesday, May 24 - 2:00pm - 3:30pm - Pearl Hall
Session Chair: Jian Zhang (Chinese Academy of Sciences)
HDD: Hierarchical Delta Debugging, Ghassan Misherghi, Zhendong Su, University of California, Davis, USA
Managing Space for Finite-State Verification, Jianbin Tan, George Avrunin, Lori Clarke, Univ. of Massachusetts, Amherst, USA
Backwards-Compatible Array Bounds Checking for C with Very Low Overhead, Dinakar Dhurjati, Vikram Adve, University of Illinois at Urbana-Champaign, USA
Reverse Engineering & Refactoring
Wednesday, May 24 - 4:00pm - 5:30pm - Yellow River Hall
Session Chair: Dirk Muthig (Fraunhofer IESE)
JunGL: a Scripting Language for Refactoring, Mathieu Verbaere, Ran Ettinger, Oege De Moor, Oxford University Computing Laboratory, UK
Inferring Templates from Spreadsheets, Robin Abraham, Martin Erwig, Oregon State University, USA
Semantics-Based Reverse Engineering of Object-Oriented Data Models, G. Ramalingam, Raghavan Komondoor, John Field, IBM Research, USA; Saurabh Sinha, IBM Research, India
Invited Talk
Wednesday, May 24 - 4:00pm - 5:30pm - Pearl Hall
Session Chair: Gregg Rothermel (University of Nebraska - Lincoln)
Empirical Studies and Measurement, Victor R. Basili, U. of Maryland, USA; Sebastian Elbaum, U. of Nebraska – Lincoln, USA
Wednesday, May 24 | Thursday, May 25 | Friday, May 26
Architecture & Design II
Thursday, May 25 - 11:00am - 12:30pm - Yellow River Hall
Session Chair: Klaus Pohl (University Duisburg-Essen)
Modeling Behavioral Design Patterns of Concurrent Objects, Robert Pettit, The Aerospace Corporation, USA; Hassan Gomaa, George Mason University, USA
Modeling Aspect Mechanisms: A Top-Down Approach, David Lorenz, University of Virginia, USA; Sergei Kojarski, Northeastern U., USA
A Bayesian Approach to Architectural Model Matching, David Mandelin, University of California, Berkeley, USA; Daniel Yellin, Doug Kimelman, IBM Corporation, USA
Test & Analysis III
Thursday, May 25 - 11:00am - 12:30pm - Pearl Hall
Session Chair: Barbara Ryder (Rutgers University)
Modular Checking for Buffer Overflows in the Large, Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang, Microsoft Corporation, USA
Discovering Faults in Idiom-Based Exception Handling, Magiel Bruntink, CWI, Arie van Deursen, CWI & TUD, Tom Tourwe, CWI & VUB, The Netherlands
Static Detection of Leaks in Polymorphic Containers, David Heine, Tensilica, Inc., USA; Monica Lam, Stanford University, USA
Panel: Formal Methods - Too Little or Too Much?
Thursday, May 25 - 2:00pm - 3:30pm - Yellow River Hall
Moderator: Matteo Rossi (Politecnico di Milano, Italy)
Panelists: Jo Atlee (University of Waterloo, Canada), Brian Berenbach (Siemens Corporate Research, Princeton), Marsha Chechik (University of Toronto, Canada), Kokichi Futatsugi (JAIST, Japan), John Knight (University of Virginia, USA), Bernhard Steffen (University of Dortmund, Germany)
Test & Analysis IV
Thursday, May 25 - 2:00pm - 3:30pm - Pearl Hall
Session Chair: Mary Jean Harrold (Georgia Institute of Technology)
Osprey: A Practical Type System for Validating Dimensional Unit Correctness of C Programs, Lingxiao Jiang, Zhendong Su, University of California, Davis, USA
Locating Faults through Automated Predicate Switching, Xiangyu Zhang, Rajiv Gupta, Neelam Gupta, Univ. of Arizona, USA
Perracotta: Mining Temporal API Rules From Imperfect Traces, Jinlin Yang, David Evans, University of Virginia, USA; Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das, Microsoft Corporation, USA
Theory & Formal Methods
Thursday, May 25 - 4:00pm - 5:30pm - Yellow River Hall
Session Chair: Laura K. Dillon (Michigan State University)
Incremental Consistency Checking for Pervasive Context, Chang Xu, S.C. Cheung, W.K. Chan, Hong Kong University of Science and Technology, China
Interacting Process Classes, Ankit Goel, Sun Meng, Abhik Roychoudhury, P.S. Thiagarajan, National University of Singapore, Singapore
Symbolic Model Checking of Declarative Relational Models, Felix Chang, Daniel Jackson, Massachusetts Institute of Technology, USA
Invited Talk
Thursday, May 25 - 4:00pm - 5:30pm
Session Chair: Rance Cleaveland (University of Maryland)
Software Engineering for the Automotive Industry, Manfred Broy, Technische Universität München, Germany
Wednesday, May 24 | Thursday, May 25 | Friday, May 26
Software Process & Workflow
Friday, May 26 - 11:00am - 12:30pm - Yellow River Hall
Session Chair: Wolfgang Emmerich (University College London)
Publishing and Composition of Atomicity-equivalent Services for B2B Collaboration, Chunyang Ye, Shing-Chi Cheung, W.K. Chan, The Hong Kong University of Science and Technology, China
Who Should Fix This Bug?, John Anvik, Lyndon Hiew, Gail C. Murphy, University of British Columbia, Canada
Model-Based Development of Dynamically Adaptive Software, Ji Zhang, Betty Cheng, Michigan State University, USA
Development With UML
Friday, May 26 - 11:00am - 12:30pm - Pearl Hall
Session Chair: Wilhelm Schäfer (Universität Paderborn)
Instant Consistency Checking for the UML, Alexander Egyed, Teknowledge, Corp., USA
Traffic-aware Stress Testing of Distributed Systems Based on UML Models, Vahid Garousi, Lionel C. Briand, Yvan Labiche, Carleton University, Canada
Effects of Defects in UML Models – An Experimental Investigation, Christian Lange, Michel Chaudron, Eindhoven University of Technology, The Netherlands
Empirical Methods & Measurement
Friday, May 26 - 2:00pm - 3:30pm - Yellow River Hall
Session Chair: Natalia Juristo (Universidad Politecnica de Madrid)
Estimating LOC for Information Systems from their Conceptual Data Models, Hee Beng Kuan Tan, Yuan Zhao, Nanyang Technological University, Singapore; Hongyu Zhang, RMIT University, Australia
Development of a Hybrid Cost Estimation Model in an Iterative Manner, Adam Trendowicz, Jens Heidrich, Jürgen Münch, Fraunhofer Institute for Experimental Software Engineering, Germany; Yasushi Ishigai, Kenji Yokoyama, Software Engineering Center, Japan; Nahommi Kikuchi, Oki Electrical Industry, Co., Ltd., Japan
On the Successes of Empirical Studies in Software Engineering Research, Carmen Zannier, Grigori Melnik, Frank Maurer, University of Calgary, Canada
Invited Talk
Friday, May 26 - 2:00pm - 3:30pm - Pearl Hall
Session Chair: Jürgen Münch (Fraunhofer IESE)
Living Assistance Systems - An Ambient Inteligence Approach, Jürgen Nehmer , University Kaiserslautern, Germany; Arthur I. Karshmer, University of South Florida, USA; M. Becker, Fraunhofer IESE; R. Lamm, Univeristy of South Florida, USA
