December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

9:00 Registration

9:30 Estimating and Modeling VVT Cost, Time and Risks of Engineered Systems (part 1),
Avner Engel

11:00 Break

11:30 Estimating and Modeling VVT Cost, Time and Risks of Engineered Systems (part 2), Avner Engel

13:00 Lunch

14:00 Regression Verification: Verifying the Equivalence of Similar Programs,
Ofer Strichman

15:30 Break

16:00 Combinatorial Test Design,
Rachel Tzoref-Brill

18:00 End of tutorial day

 

• Onn Shehory

  General Chair

• Kerstin Eder

  Program Co-Chair

• João Lourenço

  Program Co-Chair

• Yair Harry

  Webmaster

Springer Lecture Notes in Computer Science