Program

9:00 - 9:15 Welcome and Introduction

9:15 - 10:30 Keynote: Lionel Briand
10:30 -11:00 Coffee break

11:00-12:15: Test Generation
Full Papers (25 minutes each with questions)

• Felix Lindlar, Andreas Windisch and Joachim Wegener. Integrating Model-Based Testing with Evolutionary Functional Testing
• Arthur I. Baars, Tanja E.J. Vos and Dimitar M. Dimitrov. Using Evolutionary Testing to find Test Scenarios for Hard to Reproduce Faults
• Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn and Shin Yoo. Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

12:15-12:30 Session Discussion

12:30 - 14:30 Lunch

14:30 -15:45 New SBST Directions
Full Papers (25 minutes each with questions)

• Shin Yoo. Metamorphic Testing of Stochastic Optimisation
• Benjamin Wilmes and Andreas Windisch. Considering Signal Constraints in Search-Based Testing of Continuous Systems
• Jan Staunton and John Clark. Searching for Safety Violations using Estimation of Distribution Algorithms

15:45-16:00 Session Discussion
16:00 - 16:30 Coffee break

16:30-17:30 Testing with ESFMs
Full Paper (16:30-16:-55) 25 minutes with questions

• Ruilian Zhao, Mark Harman and Zheng Li. Empirical study on the efficiency of search based test generation for EFSM models

Short Papers (16:55-17:25) 15 minutes each with quesitons

• AbdulSalam Kalaji, Robert Mark Hierons and Stephen Swift. Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem
• Thaise Yano, Eliane Martins and Fabiano L. De Sousa. Generating Feasible Test Paths from an Executable Model Using a Multi-Objective Approach

17:25-17:35: Session Discussion

17:35 - 18:00 Prizes and Workshop Wrap-up