Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verifi...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bin, Eyal (Editor), Ziv, Avi (Editor), Ur, Shmuel (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4383
Subjects:
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Hardware Verification Track
  • Model Checking PSL Using HOL and SMV
  • Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation
  • Extracting a Simplified View of Design Functionality Based on Vector Simulation
  • Automatic Fault Localization for Property Checking
  • Verification of Data Paths Using Unbounded Integers: Automata Strike Back
  • Tools Track
  • Smart-Lint: Improving the Verification Flow
  • Model-Driven Development with the jABC
  • Detecting Design Flaws in UML State Charts for Embedded Software
  • A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques
  • An Open Source Simulation Model of Software Development and Testing
  • Software Testing Track
  • ExpliSAT: Guiding SAT-Based Software Verification with Explicit States
  • Evolutionary Testing: A Case Study
  • A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
  • Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise
  • Testing the Machine in the World
  • Choosing a Test Modeling Language: A Survey
  • Making Model-Based Testing More Agile: A Use Case Driven Approach.

Similar Items