ICSE 2008 in Leipzig, Germany

30th International Conference on
Software Engineering ®
Leipzig, Germany, 10 - 18 May 2008

the navigation:
end of the navigation
Keynotes | 40 Years of SE | Research Papers | Workshops | Tutorials | Automotive Systems | Health Care | Telecommunications | Education | Research Demonstrations | Doctoral Symposium | New Faculty Symposium | East and South Europe | Most Influential Paper Award | Other Awards | Co-located Events | Community Meetings | Social Events | Whole Program Day by Day | Speaker and Session Chair Guidelines | Downloads
end of the navigation
 

 

Research Papers

Chair: Matthew Dwyer (University of Nebraska, USA), Volker Gruhn (University of Leipzig, Germany)

Wednesday, 14 May 2008 Thursday, 15 May 2008 Friday, 16 May 2008
11:30-13:00 14:00-15:30 11:00-12:30 14:00-15:30 16:00-17:30 11:00-12:30 14:00-15:30 16:00-17:30
Software Tools
Hall 4 
Components & Reuse
Hall 4 
Empirical Software Engineering
Hall 2 
Empirical Software Process
Hall 2 
Empirical Testing & Analysis
Hall 2 
Architecture
Hall 3 
Evolution
Hall 2 
Models
Hall 3 
Specification I
Hall 2 
Specification II
Hall 2 
Program Analysis
Hall 3 
Formal Analysis
Hall 3 
Software Process
Hall 3 
Refactoring
Hall 2 
Frameworks
Hall 3 
Software Engineering Economics
Hall 2 
Testing I
Hall 3 
Testing II
Hall 3 
  Program Comprehension
Hall 1 
       
Congress Center Leipzig


Wednesday, 14 May 2008

Session: Software Tools
Wednesday, 14 May 2008, 11:30-13:00
Hall 4, Congress Center Leipzig
Chair: Tibor Gyimothy

  • Topes: Reusable Abstractions for Validating Data
    Christopher Scaffidi, Brad Myers, Mary Shaw
  • Tracking Source Locations
    Steven Reiss
  • Answering Conceptual Queries with Ferret
    Brian De Alwis, Gail Murphy

Session: Specification I
Wednesday, 14 May 2008, 11:30-13:00
Hall 2, Congress Center Leipzig
Chair: Jo Atlee

  • Specification Patterns for Probabilistic Quality Properties
    Lars Grunske
  • Existential Live Sequence Charts Revisited
    German Sibay, Sebastian Uchitel, Victor Braberman
  • Symbolic Mining of Temporal Specifications
    Mark Gabel, Zhendong Su

Session: Testing I
Wednesday, 14 May 2008, 11:30-13:00
Hall 3, Congress Center Leipzig
Chair: Jeff Magee

  • Testing Pervasive Software in the Presence of Context Inconsistency Resolution Services
    Heng Lu, W.K. Chan, T.H. Tse
  • ARTOO: Adaptive Random Testing for Object-Oriented Software
    Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
  • Time Will Tell: Fault Localization Using Time Spectra
    Cemal Yilmaz, Amit Paradkar, Clay Williams

Session: Components & Reuse
Wednesday, 14 May 2008, 14:00-15:30
Hall 4, Congress Center Leipzig
Chair: Harald Gall

  • Towards Reusable Components with Aspects: An Empirical Study on Modularity and Obliviousness
    Kevin Hoffman, Patrick Eugster
  • Using Components for Architecture-Based Management: The Self-Repair Case
    Sylvain Sicard, Fabienne Boyer, Noel De Palma
  • Early Prediction of Software Component Reliability
    Leslie Cheung, Roshanak Roshandel, Nenad Medvidovic, Leana Golubchik

Session: Specification II
Wednesday, 14 May 2008, 14:00-15:30
Hall 2, Congress Center Leipzig
Chair: Jean-Marc Jezequel

  • Executable Misuse Cases for Modeling Security Concerns
    Jon Whittle, Duminda Wijesekera, Mark Hartong
  • Mining Library Specifications using Inductive Logic Programming
    Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
  • Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems
    Jinjun Chen, Yun Yang

Session: Testing II
Wednesday, 14 May 2008, 14:00-15:30
Hall 3, Congress Center Leipzig
Chair: Gregg Rothermel

  • Distinguished Paper: Precise Memory Leak Detection for Java Software Using Container Profiling
    Guoqing Xu, Atanas Rountev
  • Distinguished Paper: The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage
    Ajitha Rajan, Michael Whalen, Mats Heimdahl
  • Static Detection of Cross-Site Scripting Vulnerabilities
    Gary Wassermann, Zhendong Su

Thursday, 15 May 2008

Session: Empirical Software Engineering
Thursday, 15 May 2008, 11:00-12:30
Hall 2, Congress Center Leipzig
Chair: Jim Herbsleb

  • A Comparative Analysis of the Efficiency of Change Metrics and Static Code Attributes for Defect Prediction
    Raimund Moser, Witold Pedrycz, Giancarlo Succi
  • On the Difficulty of Replicating Human Subjects Studies in Software Engineering
    Jonathan Lung, Jorge Aranda, Steve Easterbrook, Greg Wilson
  • An Empirical Study of the Effects of Test-Suite Reduction on Fault Localization
    Yanbing Yu, James A. Jones, Mary Jean Harrold

Session: Program Analysis
Thursday, 15 May 2008, 11:00-12:30
Hall 3, Congress Center Leipzig
Chair: Zhendong Su

  • Calysto: Scalable and Precise Extended Static Checking
    Domagoj Babic, Alan J. Hu
  • jPredictor: A Predictive Runtime Analysis Tool for Java
    Feng Chen, Traian Florin Serbanuta, Grigore Rosu
  • Dynamic Detection of Atomic-Set-Serializability Violations
    Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip

Session: Empirical Software Process
Thursday, 15 May 2008, 14:00-15:30
Hall 2, Congress Center Leipzig
Chair: Klaus Pohl

  • An Empirical Study of Software Developers' Management of Dependencies and Changes
    Cleidson R. R De Souza, David F Redmiles
  • TODO or To Bug: Exploring How Task Annotations Play a Role in the Work Practices of Software Engineers
    Margaret-Anne Storey, Jody Ryall, Ian Bull, Del Myers, Janice Singer
  • Evolving Software Product Lines with Aspects: An Empirical Study on Design Stability
    Eduardo Figueiredo, Nelio Cacho, Claudio Sant'Anna, Mario Monteiro, Uira Kulesza, Alessandro Garcia, Sergio Soares, Fabiano Ferrari, Safoora Khan, Fernando Filho, Francisco Dantas

Session: Formal Analysis
Thursday, 15 May 2008, 14:00-15:30
Hall 3, Congress Center Leipzig
Chair: Corina Pasareanu

  • A Verification System for Timed Interval Calculus
    Chunqing Chen, Jin Song Dong, Jun Sun
  • DySy: Dynamic Symbolic Execution for Invariant Inference
    Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
  • Incremental State-Space Exploration for Programs with Dynamically Allocated Data
    Steven Lauterburg, Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov

Session: Program Comprehension
Thursday, 15 May 2008, 14:00-15:30
Hall 1, Congress Center Leipzig
Chair: Wilhelm Hasselbring

  • Distinguished Paper: Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior
    Andrew Ko, Brad Myers
  • Granularity in Software Product Lines
    Christian Kaestner, Sven Apel, Martin Kuhlemann
  • Scalable Detection of Semantic Clones
    Mark Gabel, Lingxiao Jiang, Zhendong Su

Session: Empirical Testing & Analysis
Thursday, 15 May 2008, 16:00-17:30
Hall 2, Congress Center Leipzig
Chair: Lori Clarke

  • The Effect of the Number of Inspectors on the Defect Estimates Produced by Capture-Recapture Models
    Gursimran Singh Walia, Jeffrey C Carver, Nachiappan Nagappan
  • Distinguished Paper: Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach
    Joseph Ruthruff, John Penix, David Morgenthaler, Sebastian Elbaum, Gregg Rothermel
  • Sufficient Mutation Operators for Measuring Test Effectiveness
    Akbar Siami Namin, James Andrews, Duncan Murdoch

Session: Software Process
Thursday, 15 May 2008, 16:00-17:30
Hall 3, Congress Center Leipzig
Chair: Pankaj Jalote

  • Are Fit Tables Really Talking? A Series of Experiments to Understand whether Fit Tables are Useful during Evolution Tasks
    Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato, Corrado Aaron Visaggio
  • Data Flow Testing of Service-oriented Workflow Applications
    Lijun Mei, W.K. Chan, T.H. Tse
  • A Tale of Four Kernels
    Diomidis Spinellis

Friday, 16 May 2008

Session: Architecture
Friday, 16 May 2008, 11:00-12:30
Hall 3, Congress Center Leipzig
Chair: Nenad Medvidovic

  • Defining and Continuous Checking of Structural Program Dependencies
    Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini
  • A Case Study Evaluation of Maintainability and Performance of Persistency Techniques
    Thomas Goldschmidt, Ralf Reussner, Jochen Winzen
  • Automatic Modularity Conformance Checking
    Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin Sullivan

Session: Refactoring
Friday, 16 May 2008, 11:00-12:30
Hall 2, Congress Center Leipzig
Chair: Hausi Müller

  • Breaking the Barriers to Successful Refactoring
    Emerson Murphy-Hill, Andrew P. Black
  • Systematically Refactoring Inheritance to Delegation in a Class-Based Object-Oriented Programming Language
    Hannes Kegel, Friedrich Steimann
  • ReBA: Refactoring-aware Binary Adaptation of Evolving Libraries
    Danny Dig, Stas Negara, Vibhu Mohindra, Ralph Johnson

Session: Evolution
Friday, 16 May 2008, 14:00-15:30
Hall 2, Congress Center Leipzig
Chair: Bernd Brügge

  • Impact Analysis of Database Schema Changes
    Andy Maule, Wolfgang Emmerich, David S. Rosenblum
  • An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information
    Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun

Session: Frameworks
Friday, 16 May 2008, 14:00-15:30
Hall 3, Congress Center Leipzig
Chair: Flavio Oquendo

  • Mining Framework Usage Changes from Instantiation Code
    Thorsten Schäfer, Jan Jonas, Mira Mezini
  • Distinguished Paper: Recommending Adaptive Changes for Framework Evolution
    Barthélémy Dagenais, Martin P. Robillard
  • Four Enhancements to Automated Distributed System Experimentation Methods
    Yanyan Wang, Antonio Carzaniga, Alexander Wolf

Session: Models
Friday, 16 May 2008, 16:00-17:30
Hall 3, Congress Center Leipzig
Chair: Tetsuo Tamai

  • Automatic Generation of Software Behavioral Models
    Davide Lorenzoli, Leonardo Mariani, Mauro Pezze
  • Detecting Model Inconsistency Through Operation-Based Model Construction
    Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens

Session: Software Engineering Economics
Friday, 16 May 2008, 16:00-17:30
Hall 2, Congress Center Leipzig
Chair: André van der Hoek

  • The Influence of Organizational Structure on Software Quality: An Empirical Case Study
    Nachiappan Nagappan, Brendan Murphy, Victor Basili
  • Predicting Defects using Social Network Analysis on Dependency Graphs
    Thomas Zimmermann, Nachiappan Nagappan
  • Open Source Software Peer Review Practices: A Case Study of the Apache Server
    Peter C Rigby, Daniel M German, Margaret-Anne Storey
 

 

icse 2008 sponsors:

ICSE 2008 Gold Supporters

ICSE 2008 Silver Supporters

ICSE 2008 Bronze Supporters
 

 


 

 

 

 

 
 
end of the page

mail to webmaster . sitemap . 30 April 08

This page is analyzed with Google Analytics [privacy policy].