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 (ur@il.ibm.com). 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
| |
|