The symposium program is also available as a PDF here.

Wednesday, May 13 2009



14:00 – 14:30

Welcome and Introduction

14:30 – 16:00


Chair: Massimiliano di Penta, University of Sannio, Italy

Model-driven Development and Search-based Software Engineering: An Opportunity for Research Synergy

Lionel C. Briand, Simula Research Lab and University of Oslo, Norway



16:30 – 18:00

Session 1 – Testing and Defect Prediction

Chair: Rob Hierons, Brunel University, UK

Search-Based Testing of Ajax Web Applications

Alessandro Marchetto and Paolo Tonella

An Improved Meta-Heuristic Search for Constrained Interaction Testing

Brady J. Garvin, Myra B. Cohen and Matthew B. Dwyer

Evolution and Search Based Metrics to Improve Defects Prediction

Segla Kpodjedo, Filippo Ricca, Giuliano Antoniol and Philippe Galinier



Drinks in the bar, sponsored by Berner and Mattner, Germany

Thursday, May 14 2009



09:00 – 10:30


Chair:Simon Poulding, University of York

Not Your Grandmother's Genetic Algorithm

David E. Goldberg, University of Illinois at Urbana-Champaign, USA



11:00 – 12:30

Session 2 – PhD Student Track

Chair: Myra B. Cohen, University of Nebraska – Lincoln, USA

Search-Based Prediction of Fault Count Data

Wasif Afzal, Richard Torkar and Robert Feldt

On Search Based Software Evolution

Andrea Arcuri

Local Search-Based Refactoring as Graph Transformation

Fawad Qayum and Reiko Heckel



14:00 – 15:30

Session 3 – Software Evolution

Chair: Paolo Tonella, Fondazione Bruno Kessler - IRST, Italy

A Study of the Multi-Objective Next Release Problem

J. J. Durillo, Y. Zhang, E. Alba and A. J. Nebro

Dynamic Architectural Selection: A Genetic Algorithm Based Approach

Dongsun Kim and Sooyong Park

On the Use of Discretized Source Code Metrics for Author Identification

Maxim Shevertalov, Jay Kothari, Edward Stehle and Spiros Mancoridis



16:00 – 18:00

Software Engineering Experts' Panel – The Status and Future of SBSE in the Software Engineering Community

Chair: Mark Harman, King's College London, UK

Norman Fenton, Queen Mary, University of London, UK

Anthony Finkelstein, University College London, UK

Paola Inverardi, Università dell'Aquila, Italy

Mary Lou Soffa, University of Virginia, USA

Ian Sommerville, University of St Andrews, UK



Drinks in the bar, sponsored by Sogeti, UK

Friday, May 15 2009



08:45 – 10:15


Chair: Myra B. Cohen, University of Nebraska - Lincoln, USA

How Can Metaheuristics Help Software Engineers

Enrique Alba, Universidad de Málaga, Spain



10:45 – 12:15

Session 4 – Short Papers

Chair: Iain Bate, University of York, UK

Search-Based Testing with in-the-loop Systems

Joachim Wegener and Peter M. Kruse

A Testability Transformation Approach for State-Based Programs

AbdulSalam Kalaji, Robert M. Hierons and Stephen Swift

Searching for Rules to find Defective Modules in Unbalanced Datasets

D. Rodríguez, J.C. Riquelme, R. Ruiz, and J.S. Aguilar-Ruiz

Formal model simulation: can it be guided?

Thang H. Bui and Albert Nymeyer

How can optimization models support the maintenance of component-based software?

Vittorio Cortellessa and Pasqualina Potena



13:00 – 14:30

Session 5 – Testing

Chair: Phil McMinn, University of Sheffield, UK

WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

Usman Khan and Iain Bate

Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem

Andrea Arcuri

Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

Kamran Ghani and John A. Clark



15:00 – 16:00

Session 6 – Fast Abstracts

Chair: Mark Harman, King’s College London, UK

Guiding the Search-Based Testing via Dominances vs. Control Dependencies

Ahmed S. Ghiduk

A Hybrid Heuristic Approach for Scheduling Bug Fix Tasks to Software

Fernando Netto, Marcio Barros and Adriana Alvim

Ant Colony Optimization for Requirement selection in Incremental Software development

José del Sagrado and Isabel María del Águila

Human vs Algorithm

Carolyn Mair and Martin Shepperd

Using computational search to generate 2-way covering array

Changhai Nie, Hareton Leung and Baowen Xu

16:00 – 16:15

Concluding Remarks