IBM Israel
Skip to main content
 
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Software Testing and Verification Seminar 2003

Invitation
Program
Visitors information
Software Testing and Verification in HRL
Feedback


Program
Seminar's Program (pdf 17KB)

9:00 Arrival

9:30 Welcome,
Michael Rodeh, Director, IBM Haifa Research Lab

9:45 Interleaving Review Technique,
Shachar Fienblit, IBM Haifa Labs
(Presentation)

10:20 Proving Termination One Loop at a Time,
Michael Codish, Ben Gurion University
(Presentation)

10:55 A Case Study on Performance Improvement of Applications,
Gad Haber, IBM Haifa Labs
(Presentation)

11:30 Coffee break

11:55 GES - Generic Environment Simulator,
Yossi Shachar and Ori Kovetz, Rafael
(Presentation)



12:35 Static Code Analysis Procedures in the Development Cycle at Microsoft,
Mooly Beeri, Microsoft
(Presentation)

13:10 Lunch

14:00 Keynote: Ongoing Improvement Case Study,
Noam Sharon, Director of QA for Mercury
(Presentation)

15:00 Fidgeting till the Point of no Return,
Marina Biberstein, IBM Haifa Labs
(Presentation)

15:35 Break

15:50 The AGEDIS Productivity Tools and UML Execution Framework,
Alan Hartman, IBM Haifa Labs
(Presentation)

16:25 Regression-verification of C Programs,
Ofer Strichman, Technion
(Presentation)



  About IBM  |  Privacy  |  Terms of use  |  Contact