Wednesday, July 20th: Main Conference

On this day, ISSTA will feature the following program:

08:00-08:45	Continental Breakfast
08:45-09:00	Awards Session (Ballroom)
09:00-10:00	Keynote by John Regehr (Ballroom)
10:00-10:45	Coffee break
10:45-12:25	Research Track: Program Analysis (Salon A) and Faults I (Salon B)
12:25-14:00	Lunch
14:00-15:15	Research Track: Combinatorial and Random Testing (Ballroom)
15:15-15:45	Coffee break
15:45-17:00	Research Track: Specification and Optimization (Ballroom)