Schedule

The following schedule is still under construction:

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éndezDiversity and Software Testing (Roberts Building 4.21)
12:30 – 14:00: Lunch (Roberts Building 4.22)
14:00 – 15:30: 2rd Tutorial: David Clark (Roberts Building 4.21)
15:30 – 16:00: Coffee break (Roberts Building 4.22)
16:00 – 17:30: 3rd Tutorial (Roberts Building 4.21)
18:00 – 19:30: Welcome Reception (Print Room Café)

 Tuesday 3rd July

Topics: Formal Testing

9:00 – 10:30: 1st Tutorial: Cristian CadarAn Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 2nd Tutorial: Alastair DonaldsonWhere is the Oracle? Metamorphic Testing for GPU Compilers (Roberts Building 4.21)
12:30 – 14:00: Lunch (Roberts Building 4.22)
14:00 – 15:30: 3rd Tutorial: Christophe Gaston (Roberts Building 4.21)
15:30 – 16:00: Coffee break (Roberts Building 4.22)
16:00 – 17:30: 4th Tutorial: Mohammad MousaviModel-Based Testing Cyber-Physical Systems (Roberts Building 4.21)
18:30 – 22:00: Gala Dinner

Wednesday 4th July

Topic: Security Testing

9:00 – 10:30: 1st Tutorial: Mariano CeccatoSecurity testing of web applications (Roberts Building 4.21)
10:30 – 11:00: Coffee break (Roberts Building 4.22)
11:00 – 12:30: 2nd Tutorial: John Clark (Roberts Building 4.21)
12:30 – 14:00: Lunch (Roberts Building 4.22)
14:00 – 15:30: 3rd Tutorial: Jan PeleskaSecurity 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 PretschnerDefect-Based Testing (Roberts Building 4.21)
17:30 – 19:00: 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 LangdonGenetic Improvements (Roberts Building 4.21)
12:30 – 14:00: Lunch (Roberts Building 4.22)
14:00 – 17:00: Visit to the British Museum
17:30 – 19:00: Dinner
 

Friday 6th July

Topic: Search Based Software Testing + Research Projects Presentations

9:00 – 10:30: 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 (Roberts Building 4.22)
14:00 – 14:30: Closure (Roberts Building 4.21)