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


The software testing track is part of a verification conference that includes verification technologies, software testing, and PADTAD.

This is the fourth in a sequence of testing seminars held by HRL since 2002.

The seminar will take place on Monday, the 14th of November, 2005 at the IBM Haifa Labs site on the University of Haifa campus, in the Auditorium (room L100), from 9:30 to 17.15. Lunch and light refreshments will be served. A detailed program is available. Participation is free.
Please confirm your participation, via the seminar website:

Software Testing Track Topics

  • Using static analysis in testing
  • Testing throughout the lifecycle
  • Business value (ROI) of testing
  • Risk-based testing
  • Defect prevention
  • Test-driven development
  • Developer testing
  • Technical review inspections
  • Pair testing
  • Automatic test generation
  • Test automation frameworks
  • Release and stopping criteria
  • Testing techniques
  • Test measurements and metrics
  • Exploratory testing
  • Component testing
  • Model-based testing
  • Automated functional testing
  • Performance, stress, and load testing
  • Testing Web services and other technologies
  • Testing in JAVA, .NET, and other environments
  • Testing embedded software
  • Testing in an agile environment


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

    About IBMPrivacyContact