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

IBM Verification Conference 2005

IBM Haifa Labs

Invitation Registration

November 13 - 16, 2005
Organized by IBM Research Lab in Haifa, Israel

Call for Papers

IBM Verification Conference 2005 includes three full day seminars, focusing on verification technologies, software testing, and PADTAD (Parallel and Distributed Systems: Testing and Debugging). The seminars will include both proceedings and the presentation of original technical papers. Papers are invited for the conference's three tracks, offering original contributions, not submitted for publication elsewhere. In addition to the Springer proceedings, papers will be selected for a special issue of the Journal of Science of Computer Programming (SCP) Methods of Software Design: Techniques and Applications.

Authors should submit their original contributions in upto 15 pages LNCS format as PostScript or PDF files electronically to Shmuel Ur ( Please include your postal address, email, phone and fax numbers. An early email with your intention to submit a paper would be greatly appreciated. Please contact one of the co-chairs if electronic submission is not possible and/or formats other than PostScript or PDF are used.

Important dates

Paper due: September 16, 2005
Notification of paper acceptance: October 02, 2005
Camera ready copy: October 15, 2005
Workshop gathering and presentations (Sunday): November 13, 2005

Verification Track Topics

  • Microprocessors, ASICs, SOCs, and system verification
  • Experiences with simulation based and formal verification
  • Classification of hardware bugs
  • High-level test generation for functional verification
  • Simulation based verification
  • Use of PSL - methodologies and experiences
  • Emulation and acceleration techniques in verification
  • Post silicon debugging
  • Formal methods and their applications
  • Verification using SAT
  • Verification coverage
  • Equivalence checking
  • Path analysis for verification
  • Design for verifiability
  • Hardware/software co-verification and co-testing
  • Use of ESL methods for verification.
  • Simulation-checking: assertion based, high-level rule-based, reference models and score-boards
  • CSP applications in functional verification
  • Hybrid simulation and formal analysis methods

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

PADTAD Track Topics

  • Tools for the testing or debugging of MPD applications
  • Interactions between memory models and testing
  • Test generation algorithms for MPD applications
  • Debugging advanced network interface technologies (e.g., Myrinet, VIA)
  • Debugging and testing MPD applications
  • Using static analysis or formal verification to enhance debugging and testing of MPD applications
  • Detecting race conditions and deadlocks
  • Debugging and replay of MPD applications
  • Finding timing bugs early in the process
  • Testing real-time MPD applications
  • Fault injection of MPD applications
  • Testing the fault tolerance of MPD applications
  • Testing and debugging techniques for timing related bugs in hardware
  • Pilots in applying new testing techniques to MPD applications


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

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research