Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers: 3875 - Brossura
Sinossi
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Hardware Verification.- Path-Based System Level Stimuli Generation.- The Safety Simple Subset.- A Case for Runtime Validation of Hardware.- Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study.- Simultaneous SAT-Based Model Checking of Safety Properties.- HaifaSat: A New Robust SAT Solver.- Software Testing.- Production-Testing of Embedded Systems with Aspects.- Assisting the Code Review Process Using Simple Pattern Recognition.- An Extensible Open-Source Compiler Infrastructure for Testing.- Effective Black-Box Testing with Genetic Algorithms.- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.- Benchmarking and Testing OSD for Correctness and Compliance.- PADTAD.- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.- Dynamic Deadlock Analysis of Multi-threaded Programs.- Verification of the Java Causality Requirements.- Choosing Among Alternative Futures.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Hardware and Software, Verification and Testing: First...
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised . / Programming and Software Engineering)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo DA1412371
Compra usato
EUR 33,41
Spese di spedizione:
EUR 6,00
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
X, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch. Codice articolo 5466DB
Compra usato
EUR 12,00
Spese di spedizione:
EUR 30,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised . (Lecture Notes in Computer Science, 3875)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-F-011-01570
Compra usato
EUR 43,89
Spese di spedizione:
EUR 12,18
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020165264
Compra nuovo
EUR 52,67
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6909104-n
Compra nuovo
EUR 53,86
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 6909104
Compra usato
EUR 55,41
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540326045
Compra nuovo
EUR 60,15
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540326045_new
Compra nuovo
EUR 58,12
Spese di spedizione:
EUR 13,71
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540326045
Compra nuovo
EUR 56,30
Spese di spedizione:
EUR 17,73
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6909104-n
Compra nuovo
EUR 58,10
Spese di spedizione:
EUR 17,17
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili