Technical Program

The ESEC/FSE 2003 technical program will be held at Marina Congress Center on September 3-5, 2003. Marina Congress Center is located in the center of Helsinki near to Uspensky Cathedral, Presidential Palace, and Market Square.

Welcome and ESEC/FSE 2003 Opening

• Paola Inverardi and Jukka Paakki
  Date: September 3, 2003, 8:30 (see the program overview)
  

Invited Talks

• Speaker: Giuseppe Longo
  Organization: CNRS & Département d'Informatique Ecole Normale Supérieure, Paris, France
  Topic: Information and Complexity in Some Natural Phenomena
  Date: September 3, 2003, 9:00 (see the program overview)
  Chair: Paola Inverardi
  
  
• Speaker: Leon Osterweil
  Organization: University of Massachusetts, Amherst
  Topic: Understanding Process and the Quest for Deeper Questions in Software Engineering Research
  (2003 ACM SIGSOFT Outstanding Research Award Presentation)
  Date: September 4, 2003, 9:00 (see the program overview)
  Chair: Alexander L. Wolf
  
  
• Speaker: Ari Jaaksi
  Organization: Nokia Mobile Phones
  Topic: Assessing Software Projects - Tools for Business Owners
  Date: September 5, 2003, 9:00 (see the program overview)
  Chair: Jukka Paakki
  

Paper Sessions and Poster Ads

• Session I: Requirements Engineering and Design
  September 3, 2003, 10:30 (see the program overview)
  Chair: Carlo Montangero
  
  Behaviour Model Elaboration using Partial Labelled Transition Systems, Sebastian Uchitel, Jeff Kramer, Jeff Magee, Imperial College London
  
  A Proof Strategy for Efficient Verification of Requirements Specifications Using Composition and Invariants, Ralph Jeffords, Constance Heitmeyer, Naval Research Laboratory
  
  Towards the Compositional Verification of Real-Time UML Designs, Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake, University of Paderborn
  
  Refinements and Multi-Dimensional Separation of Concerns, Don Batory, Jia Liu, Jacob Sarvela, University of Texas, Austin
  
  
  
• Session II: Software Architectures, Patterns and Frameworks
  September 3, 2003, 13:30 (see the program overview)
  Chair: Mehdi Jazayeri
  
  Validating UML Models Against Architectural Profiles, Petri Selonen, Tampere University of Technology, Jianli Xu, Nokia Research Center
  
  Modeling and Validation of Service-Oriented Architectures: Application vs. Style, Luciano Baresi, Politecnico di Milano, Reiko Heckel, Sebastian Thöne, Universität Paderborn, Dániel Varró, Budapest University of Technology and Economics
  
  Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems, Jeremy Bradbury, Juergen Dingel, Queen's University
  
  Designing and Implementing a Family of Intrusion Detection Systems, Giovanni Vigna, Fredrik Valeur, Richard Kemmerer, University of California, Santa Barbara
  
  Poster Ads:
  
  Composing Architectural Styles from Architectural Primitives, Nikunj Mehta, Nenad Medvidovic, University of Southern California
  
  Towards an Engineering Tool for Implementing Reusable Distributed Control Systems, Kleanthis Thramboulidis, University of Patras
  
  Use Case Based Testing of Product Lines, Antonia Bertolino, Stefania Gnesi, ISTI-CNR
  
  
  
• Session III: Testing and Test Tools
  September 3, 2003, 16:00 (see the program overview)
  Chair: Antonia Bertolino
  
  A Family of Test Adequacy Criteria for Database-Driven Applications, Gregory Kapfhammer, Mary Soffa, University of Pittsburgh
  
  Consistency Techniques for Interprocedural Test Data Generation, Nguyen Tran Sy, Yves Deville, Université Catholique de Louvain
  
  Regression Testing of GUIs, Atif Memon, University of Maryland, Mary Lou Soffa, University of Pittsburgh
  
  Leveraging Field Data for Impact Analysis and Regression Testing, Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold, Georgia Tech
  
  
  
• Session IV: Software Process and Workflow
  September 4, 2003, 10:30 (see the program overview)
  Chair: Jacky Estublier
  
  Formulation and Preliminary Test of an Empirical Theory of Coordination in Software Engineering, James Herbsleb, Carnegie Mellon University, Audris Mockus, Avaya Labs Research
  
  Factors of Software Process Improvement Success in Small and Large Organizations: An Empirical Study in the Scandinavian Context, Tore Dybå, SINTEF Telecom and Informatics
  
  Monitoring the Software Test Process Using Statistical Process Control: A Logarithmic Approach, João Cangussu, University of Texas, Dallas, Raymond DeCarlo, Aditya Mathur, Purdue University
  
  On the Economic Evaluation of XP Projects, Matthias Müller, Frank Padberg, University of Karlsruhe
  
  
  
• Session V: Validation and Verification
  September 4, 2003, 13:30 (see the program overview)
  Chair: Valerie Issarny
  
  Context-Sensitive Slicing of Concurrent Programs, Jens Krinke, Universität Passau
  
  Adapting Side Effects Analysis for Modular Program Model Checking, Oksana Tkachuk, Matthew Dwyer, Kansas State University
  
  Deadline Analysis of Interrupt-Driven Software, Dennis Brylow, Jens Palsberg, Purdue University
  
  Ontology Support for Web Service Processes, Claus Pahl, Maire Casey, Dublin City University
  
  Poster Ads:
  
  EFFICIENT: A Tool Set for Supporting the Modelling and Validation of ebXML Transactions, Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel, CRP Henri Tudor
  
  A Simulation-Based Approach to Software Performance Modeling, Simonetta Balsamo, Moreno Marzolla, Universita' "Ca' Foscari" di Venezia
  
  Recovery, Analysis and Improvement of Runtime Architecture of Mobile Phone Software, Alexander Ran, Raimondas Lencevicius, Nokia Research Center
  
  
  
• Session VI: Software Reuse and Evolution
  September 4, 2003, 16:00 (see the program overview)
  Chair: Kai Koskimies
  
  Reverse Engineering Framework Reuse Interfaces, Jukka Viljamaa, University of Helsinki
  
  Differences between Versions of UML Diagrams, Dirk Ohst, Michael Welle, Udo Kelter, Universität Siegen
  
  
  
• Special Session on CCSE: Computing Curricula for Software Engineering
  September 4, 2003, 17:00 (see the program overview)
  
  
• Session VII: Software Analysis and Model Checking
  September 5, 2003, 10:30 (see the program overview)
  Chair: Constance L. Heitmeyer
  
  Eliminating Redundancies with a "Composition with Adaptation" Meta-programming Technique, Stan Jarzabek, National University of Singapore, Shubiao Li, Xi'an Jiaotong University
  
  Towards Scalable Compositional Analysis by Refactoring Design Models, Yung-Pin Cheng, National Taiwan Normal University, Michal Young, University of Oregon, Che-Ling Huang, Chia-Yi Pan, National Taiwan Normal University
  
  Fluent Model Checking for Event-Based Systems, Dimitra Giannakopoulou, RAICS/USRA, NASA Ames Research Center, Jeff Magee, Imperial College London
  
  Bogor: An Extensible and Highly-Modular Software Model Checking, Robby, Matthew Dwyer, John Hatcliff, Kansas State University
  
  
  
• Session VIII: Component-Based Software Engineering
  September 5, 2003, 13:30 (see the program overview)
  Chair: Debra Richardson
  
  Verified Systems by Composition from Verified Components, Fei Xie, James Browne, University of Texas, Austin
  
  Predicting Problems Caused by Component Upgrades, Stephen McCamant, Michael Ernst, MIT
  
  Aspect Languages for Integration and Evolution, Hridesh Rajan, Kevin Sullivan, University of Virginia
  
  Poster Ads:
  
  Policy-Enforced Linking of Untrusted Components, Eunyoung Lee, Andrew Appel, Princeton University
  
  A Fault-Tolerant Software Architecture for COTS-Based Software Systems, Paulo Guerra, Universidade Estadual de Campinas, Alexander Romanovsky, University of Newcastle upon Tyne, Cecília Rubira, Universidade Estadual de Campinas, Rogério de Lemos, University of Kent at Canterbury
  
  Gravity: Supporting Dynamically Available Services in Client-Side Applications, Richard Hall, Humberto Cervantes, Laboratoire LSR
  
  
  
• Session IX: Safety and Security
  September 5, 2003, 15:30 (see the program overview)
  Chair: Andreas Zeller
  
  Protecting C Programs from Attacks via Invalid Pointer Dereferences, Suan Yong, Susan Horwitz, University of Wisconsin-Madison
  
  Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs, V. Benjamin Livshits, Monica Lam, Stanford University
  
  ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors, Yichen Xie, Andy Chou, Dawson Engler, Stanford University
  
  Runtime Safety Analysis of Multithreaded Programs, Koushik Sen, Grigore Rosu, Gul Agha, University of Illinois at Urbana-Champaign
  
  
  

Closing and Presentation of FSE 2004 & ESEC/FSE 2005

• Paola Inverardi and Jukka Paakki
  Date: September 5, 2003, 16:45 (see the program overview)