Hardware and Software, Verification and Testing

€ 69,49
Lieferbar innerhalb von 2-3 Tagen
Februar 2007



This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.


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.
EAN: 9783540708889
ISBN: 354070888X
Untertitel: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers. 'Programming and Software Engineering'. 2007. Auflage. Book. Sprache: Englisch.
Verlag: Springer
Erscheinungsdatum: Februar 2007
Seitenanzahl: 252 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben