Willkommen, schön sind Sie da!
Logo Ex Libris

Hardware and Software, Verification and Testing

  • E-Book (pdf)
  • 235 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 200... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 77.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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 are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.



Inhalt

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.

Produktinformationen

Titel: Hardware and Software, Verification and Testing
Untertitel: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
Editor:
EAN: 9783540708896
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 11.05.2007
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 6.24 MB
Anzahl Seiten: 235

Weitere Bände aus der Buchreihe "Programming and Software Engineering"