Monday 2nd July
Topic: Information Theory and Testing
9:00 – 11:00: Registration (Roberts Building 4.21)
10:30 – 11:00: Welcome (Roberts Building 4.21)
11:00 – 12:30: 1st Tutorial: Héctor D. Menéndez – Diversity and Software Testing (Roberts Building 4.21)
12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
14:00 – 15:30: 2nd Tutorial: Nadia Alshahwan – Output Diversity as a Test Selection Criterion (Roberts Building 4.21)
15:30 – 16:00: Coffee break (Roberts Building 4.22)
16:00 – 17:30: 3rd Tutorial: David Clark – So what *can* measuring diversity do for you? (Roberts Building 4.21)
18:00 – 19:30: Welcome Reception (Print Room Café)
Tuesday 3rd July
Topics: Formal and Security Testing
9:00 – 10:30: 1st Tutorial: Mohammad Mousavi – Model-Based Testing Cyber-Physical Systems (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 2nd Tutorial: Alastair Donaldson – Where is the Oracle? Metamorphic Testing for GPU Compilers (Roberts Building 4.21)
12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
14:00 – 15:30: 3rd Tutorial: Mariano Ceccato – Security testing of web applications (Roberts Building 4.21)
15:30 – 16:00: Coffee break (Roberts Building 4.22)
16:00 – 17:30: 4th Tutorial: Cristian Cadar – An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure (Roberts Building 4.21)
17:30 – 19:00: Dinner (Wilkins Lower Refectory, Main Building)
Wednesday 4th July
Topic: Formal and Security Testing
9:00 – 10:30: 1st Tutorial: Christophe Gaston – Model Based Testing for Timed Distributed Systems: a Symbolic Framework for the Oracle Problem (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 2nd Tutorial: John Clark – Security Testing: From Fault Injection to Machine Learning(Roberts Building 4.21)
12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
14:00 – 15:30: 3rd Tutorial: Jan Peleska – Security testing – just another variant of safety-oriented testing? (Roberts Building 4.21)
15:30 – 16:00: Coffee break (Roberts Building 4.22)
16:00 – 17:30: 4th Tutorial: Alex Pretschner – Defect-Based Testing (Roberts Building 4.21)
18:30 – 22:00: Gala Dinner
Thursday 5th July
Topics: Search Based Software Testing + Student’s Presentations
9:00 – 10:30: Student’s presentations (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 1st Tutorial: William Langdon – Genetic Improvements (Roberts Building 4.21)
12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
14:00 – 17:00: Visit to the British Museum
17:30 – 19:00: Dinner (Wilkins Lower Refectory, Main Building)
Friday 6th July
Topic: Search Based Software Testing + Students and Research Projects Presentations
9:00 – 10:30: Students and Research Project’s presentations (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 2nd Tutorial: Paolo Tonella – Automated generation of unit tests for object-oriented code using genetic algorithms (Roberts Building 4.21)
12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
14:00 – 14:30: Closure (Roberts Building 4.21)