Program at a glance

15-Oct 16-Oct
Monday Tuesday
9:00 to 10:30 AM The Zone
9:00 to 9:15 AM The Zone/Methodist Presentation Theatre Introductions
Methodist Presentation Theatre STEP Workshop. Session 1: Testing and Security 9:15 to 10:30 AM Plenary ?Keynote
Fishbowl (203/205) IDEAR Workshop. Session 1:  Advances in Fault Localization Fishbowl (203/205)
Classroom 227 Tutorial 1: (SRGM) - Mijumbi, Okumoto, Asthana, Meekel Classroom 227
Classroom 226 Doctoral Symposium1. Chair: Mei Nagappan Classroom 226
Classroom 225 WoSoCer Workshop. Session 1: Open challenges in software certification Classroom 225
10:30 to 11 AM Coffee Break
11 AM to 12:30 PM The Zone
11 AM to 12:30 PM The Zone R1: Plenary - Best research paper nominees
Methodist Presentation Theatre STEP Workshop. Session 2: Test Case Prioritization and Value Estimation Methodist Presentation Theatre
Fishbowl (203/205) IDEAR Workshop. Session 2: Keynote Fishbowl (203/205)
Classroom 227 Tutorial 1: (SRGM) - Mijumbi, Okumoto, Asthana, Meekel Classroom 227
Classroom 226 Doctoral Symposium 2. Chair: Nuno Antunes Classroom 226
Classroom 225 WoSoCer Workshop. Session 2: Testing and Certification Classroom 225
12:30 PM to 2 PM Lunch
2:00 PM to 3.30 PM The Zone
2:00 PM to 3.30 PM The Zone Hackaton
Methodist Presentation Theatre STEP Workshop. Session 3: Methodist Presentation Theatre R2: Journal-first paper presentations
Fishbowl (203/205) IDEAR Workshop. Session 3: Automated Repair Fishbowl (203/205) I2: System profiling and log analysis
Classroom 227 Tutorial 2 (Anomaly detection for networks) - Mendiratta Classroom 227 FA1: Reliability,Testing and Security
Classroom 226 Doctoral Symposium 3. Chair: Mei Nagappan Classroom 226
Classroom 225 WoSoCer Workshop. Session 3: Certifiable Software Development and Verification Classroom 225 Tutorial 4 (Fomal verification) - Blanchard et al.
3:30 PM - 4 pm Coffee Break
4:00 PM to 5.30 PM The Zone
4:00 PM to 5.30 PM The Zone Hackaton
Methodist Presentation Theatre STEP Workshop. Session 4: Methodist Presentation Theatre 4:00PM - 6:00PM R3: Reliability, security and safety analysis
Fishbowl (203/205) IDEAR Workshop. Session 4: Processes and Applications Fishbowl (203/205) I3:Distributed system testing and profiling
Classroom 227 Tutorial 2 (Anomaly detection for networks) - Mendiratta Classroom 227
Classroom 226 Doctoral Symposium 4. Chair: Nuno Antunes Classroom 226
Classroom 225
Classroom 225 Tutorial 4 (Fomal verification) - Blanchard et al.
Evening Reception@7:00PM Organized excursions - "Memphis Night Life"
Evening FedEx Hub Tour @9:45PM

17-Oct 18-Oct
Wednesday Thursday
9:00 to 10:30 AM The Zone Plenary ?Keynote 9:00 to 10:30 AM The Zone
Methodist Presentation Theatre Methodist Presentation Theatre R6: Fault localization and debugging
Fishbowl (203/205)
Fishbowl (203/205) I6: Reliability Assessment
Classroom 227
Classroom 227 WOSAR. Session 1:  Keynote and Literature Review
Classroom 226
Classroom 226
Classroom 225
Classroom 225 Tutorial 3 (Secure Mobile Software) - Shahriar, Talukder
10:30 to 11 AM Coffee Break
11 AM to 12:30 PM The Zone I1: Plenary- Best industry papers 11 AM to 12:30 PM The Zone
Methodist Presentation Theatre Methodist Presentation Theatre R7: Mobile systems
Fishbowl (203/205)
Fishbowl (203/205) I7: Software Reliability Modeling
Classroom 227
Classroom 227 WOSAR. Session 2:  Software Aging Detection and Monitoring
Classroom 226
Classroom 226
Classroom 225
Classroom 225 T3: Frama-C, a Collaborative Framework for C Code Verification
12:30 PM to 2 PM Lunch
2:00 PM to 3.30 PM The Zone
2:00 PM to 3.30 PM The Zone
Methodist Presentation Theatre R4: Test case generation Methodist Presentation Theatre R8: Systems Security and Privacy
Fishbowl (203/205) I4: Best disruptive idea award Fishbowl (203/205)
Classroom 227
Classroom 227 WOSAR. Session 3: Software Rejuvenation 
Classroom 226 Tutorial 5 (Dependability, Dev Op) - Avritzer, van Horn Classroom 226
Classroom 225 Tutorial 6 (Security Banchmarks) - Antunes, Vieira Classroom 225
3:30 PM - 4 pm Coffee Break
4:00 PM to 5.30 PM The Zone
4:00 PM to 5.30 PM The Zone
Methodist Presentation Theatre 4:00PM - 6:00PM R5: Regression testing Methodist Presentation Theatre Community Meeting
Fishbowl (203/205) I5: Defects and Threat Prevention (4 papers) Fishbowl (203/205)
Classroom 227 FA2: Services and Cloud Systems Classroom 227 WOSAR. Session 4: SAR Handbook
Classroom 226 Tutorial 5 (Dependability, Dev Op) - Arvitzer, van Horn Classroom 226
Classroom 225 Tutorial 6 (Security Banchmarks) - Antunes, Vieira Classroom 225
Banquet @ 7:00 pm