Program

Please note that papers for SBST 2008 can be found online in the IEEE Digital Library.

9am - 10:00am: Welcome and Keynote

Welcome and introductions
Keynote: Open Problems in Testability Transformation
Mark Harman (King's College, London)

10:00am - 10:30am: Coffee

10:30am - 12pm: Papers and discussions (1) - Constraints and Specifications

Constraint-based Evolutionary Testing of Autonomous Distributed Systems
Cu D. Nguyen, Anna Perini and Paolo Tonella (ITC-irst)
Handling Constraints for Search Based Software Test Data Generation
Ramon Sagarna and Xin Yao (University of Birmingham)
Strengthening Inferred Specification using Search Based Testing
Kamran Ghani and John A. Clark (University of York)

12pm - 1:30pm: Lunch

1:30pm - 2:30pm: Papers and discussions (2) - Random search and diversity

Investigating the dimensionality problem of Adaptive Random Testing incorporating a search-based testing technique
Christoph Schneckenburger and Franz Schweiggert (Ulm University)
Searching for diverse tests: Test Variability and Test Diversity Metrics
Robert Feldt, Richard Torkar, Tony Gorschek and Wasif Afzal (Blekinge Institute of Technology)

2:30pm - 3:30pm: Coffee and Posters

Towards Constraint-Based Local Search for Automatic Test Data Generation
Arnaud Gotlieb, Nadjib Lazaar (IRISA - INRIA) and Yahia Lebbah (Universit’e d'Oran EsSenia)
Search-based Testing using State-based Fitness
Raluca Lefticaru and Florentin Ipate (University of Pitesti)
Evolutionary Structural Testing of Software with Pointers
Maria Prutkina and Andreas Windisch (Technische Universitat Berlin / Daimler Center for Automotive IT Innovations)
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams
Andreas Windisch (Technische Universitat Berlin / Daimler Center for Automotive IT Innovations)

3:30pm - 4:30pm: Papers and discussions (3) - Search algorithms: analysis and hybridization

Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
Andrea Arcuri, Per Kristian Lehre and Xin Yao (University of Birmingham)
Hybridizing Evolutionary Testing with Artificial Immune Systems and Local Search
Konstantinos Liaskos and Marc Roper (University of Strathclyde)

4:30pm: Voting, best paper and presentation awards, future directions, close

1st International Workshop on Search-Based Software Testing. In conjunction with IEEE International Conference on Software Testing, Verification and Validation (ICST 2008)