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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4383 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
