| |
Research PapersChair: Matthew Dwyer (University of Nebraska, USA), Volker Gruhn (University of Leipzig, Germany)
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
|
|
