ICSE Shanghai 2006

28th International Conference on Software Engineering

Conference Center
Conference: May 20-28, 2006 | Main Program: May 24-26, 2006 | Co-located Events / Workshops / Tutorials: May 20-24 & 27-28, 2006
Online registration | Obtaining a Required Visa | Early Registration Deadline: April 10, 2006
Obtaining a Required Visa | Shanghai Information | Shanghai Attractions
Fuqing Yang | Barry Boehm | Reinhold Achatz
Keynotes | Research | Experience | Far East Exp. | Education | Achievements | Demos | Emerging | Workshops | Tutorials | More...
Organizing Committee | Program Committee

Research Track

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

Valid XHTML 1.0 Strict! Valid CSS!