Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors)
| Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 235 p.) |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
| ISBN |
1-280-86571-7
9786610865710 3-540-70889-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465851903316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors)
| Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 235 p.) |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
| ISBN |
1-280-86571-7
9786610865710 3-540-70889-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910767528503321 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and Software, Verification and Testing [[electronic resource] ] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
| Hardware and Software, Verification and Testing [[electronic resource] ] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 270 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-32605-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466102503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
| Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 270 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
UrShmuel
BinEyal WolfsthalYaron |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
| ISBN | 3-540-32605-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Altri titoli varianti |
First International Haifa Verification Conference
International Haifa Verification Conference |
| Record Nr. | UNINA-9910484382003321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 Workshop on Parallel and Distributed Systems : Testing and Debugging
| Proceedings of the 2006 Workshop on Parallel and Distributed Systems : Testing and Debugging |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (78 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PADTAD-IV |
| Record Nr. | UNINA-9910376482703321 |
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging
| Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging |
| Autore | Ur Shmuel |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (66 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2007 Association for Computing Machinery Workshop on Parallel and Distributed Systems: Testing and Debugging
PADTAD '07 |
| Record Nr. | UNINA-9910376411503321 |
Ur Shmuel
|
||
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 6th Workshop on Parallel and Distributed Systems : Testing, Analysis, and Debugging
| Proceedings of the 6th Workshop on Parallel and Distributed Systems : Testing, Analysis, and Debugging |
| Autore | Ur Shmuel |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (78 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PADTAD '08 |
| Record Nr. | UNINA-9910376167503321 |
|
Ur Shmuel
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||