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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bin, Eyal (Editor ), Ziv, Avi (Editor ), Ur, Shmuel (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4383
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares