Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

IBM Verification Conference 2005

IBM Haifa Labs

IBM's Software Testing Track 2005
November 14, 2005
Organized by IBM Research Lab in Haifa, Israel


Seminar's Agenda PDF version for printing (43 KB)

White Box - Testing and Reviews Session
Chair: Eitan Farchi, IBM Haifa Labs
09:00 Production-Testing of Embedded Systems with Aspects,
Jani Pesonen, Nokia Corporation Technology Platforms, and Mika Katara and Tommi Mikkonen, Institute of Software Systems, Tampere University of Technology
(Paper , Presentation)

09:30 Assisting the Code Review Process Using Simple Pattern Recognition,
Eitan Farchi, IBM Haifa Research Lab, and Bradley R. Harrington, IBM Systems and Technology Group, Austin, Texas, USA

10:00 Invited Talk: The Interface of Testing and Compiler Research,
Dan Quinlan, Lawrence Livermore National Laboratory

10:30 Coffee break
New Testing Technologies Session
Chair: Ofer Strichman, Technion
11:00 Invited Talk: Software Model Checking: Where It Is and Where It's Heading,
Scott D. Stoller, State University of New York at Stony Brook

11:30 Effective Black-box Testing with Genetic Algorithms,
Mark Last and Shay Eyal, Department of Information Systems Engineering, Ben-Gurion University, and Abraham Kandel, Department of Computer Science and Engineering, University of South Florida
(Paper , Presentation)

12:00 Optimal Algorithmic Debugging and Reduced Coverage in Search in Structured Domains,
Yosi Ben-Asher, Igor Breger, and Ilia Gordon, Computer Science Department, University of Haifa, and Eitan Farchi, IBM Haifa Research Lab
(Paper , Presentation)

12:30 Invited Talk: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft,
Thomas Ball, Senior Researcher, Testing, Verification, and Measurement, Microsoft Research (MSR)

13:00 Lunch

14:00 Keynote: Robust Embedded Firmware Development,
Thomas Wolf, Program Director, eServer Firmware Development, IBM Systems and Technology Group, Boeblingen, Germany

14:50 Coffee break
Industrial Field Experience Session
Chair: Tsvi Kuflik, University of Haifa
15:10 Invited Talk: Introducing Test-driven Development,
Yael Dubinsky, Technion - Israel Institute of Technology

15:40 Invited talk: Why Johnny Can't Test and Can Test-driven Development Help: A People-centered Analysis of Testing,
Orit Hazzan, Technion - Israel Institute of Technology

16:10 Benchmarking and Testing OSD for Correctness and Compliance,
Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, and Adam Wolman, IBM Haifa Research Lab
(Paper , Presentation)

16:40 Invited Talk: Directed Model Checking,
Bernd Finkbeiner, University of Saarlandes


Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
Simulation based methods in HRL in HRL  

    About IBMPrivacyContact