Sunday, July 17

08:30 – 11:00
DECAF
08:30 – 11:00
CSTVA
08:30 – 11:00
ISSTA Doctoral Symposium
11:00 – 11:20
Break
11:20 – 13:00
DECAF
11:20 – 13:00
CSTVA
11:20 – 13:00
ISSTA Doctoral Symposium
13:00 – 14:00
Lunch
14:00 – 15:40
DECAF
14:00 – 15:40
CSTVA
14:00 – 15:40
ISSTA Doctoral Symposium
15:40 – 16:00
Break
16:00 – 17:00
DECAF
16:00 – 17:00
CSTVA
16:00 – 17:00
ISSTA Doctoral Symposium

Monday, July 18

08:30 – 08:50
Welcome
08:00 – 08:50
Registration
08:50 – 09:40
Keynote – Lionel Briand
09:40 – 10:10
Break
10:10 – 11:00
The Web
session chair: Michael Pradel
11:00 – 11:20
Break
11:20 – 13:00
Static Analysis
session chair: Eric Bodden
11:25 – 12:55
Summer School – Gordon Fraser
13:00 – 14:00
Lunch
14:00 – 15:40
Test Generation
session chair: Xiangyu Zhang
14:05 – 15:35
Summer School – Eric Bodden
15:40 – 16:00
Break
16:00 – 17:40
Test Processes
session chair: Mauro Pezzè
16:05 – 17:35
Summer School – Andrea Arcuri
19:00
Reception
at Jägerheim

Tuesday, July 19

08:30 – 08:50
Awards
08:50 – 09:40
Keynote – Martin Vechev
09:40 – 10:10
Break
10:10 – 11:00
Demos
11:00 – 11:20
Break
11:20 – 13:00
Debugging and Repair
session chair: Satish Chandra
11:25 – 12:55
Summer School – Alessandra Gorla
13:00 – 14:00
Lunch
14:00 – 15:40
Oracles
session chair: Alex Orso
14:05 – 15:35
Summer School – Kim Herzig
15:40 – 16:00
Break
16:00 – 17:40
Program Understanding
session chair: Alessandra Gorla
16:05 – 17:35
Summer School – Cristian Cadar
19:00
Dinner
at Abtei Brauerei in Mettlach

Wednesday, July 20

08:30 – 08:50
ISSTA 2017
08:50 – 09:40
Android
session chair: Tevfik Bultan
09:40 – 10:10
Break
10:10 – 11:25
Mutation Testing
session chair: René Just
11:25 – 11:45
Break
11:45 – 13:00
Concurrency
session chair: Juan Pablo Galeotti
13:00 – 14:00
Lunch
14:00 – 15:15
Performance
session chair: Lars Grunske
15:15 – 16:00
Keynote – Christian Holler

Thursday, July 21

08:30 – 11:00
INTUITEST
08:30 – 11:00
QUDOS
11:00 – 11:20
Break
11:20 – 13:00
INTUITEST
11:20 – 13:00
QUDOS
13:00 – 14:00
Lunch
14:00 – 15:40
INTUITEST
14:00 – 15:40
QUDOS
15:40 – 16:00
Break
16:00 – 17:00
INTUITEST
16:00 – 17:00
QUDOS