Hardware and Software, Verification and Testing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Path-Based System Level Stimuli Generation
-
Altmetric BadgeChapter 2 The Safety Simple Subset
-
Altmetric BadgeChapter 3 A Case for Runtime Validation of Hardware
-
Altmetric BadgeChapter 4 Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study
-
Altmetric BadgeChapter 5 Simultaneous SAT-Based Model Checking of Safety Properties
-
Altmetric BadgeChapter 6 HaifaSat : A New Robust SAT Solver
-
Altmetric BadgeChapter 7 Production-Testing of Embedded Systems with Aspects
-
Altmetric BadgeChapter 8 Assisting the Code Review Process Using Simple Pattern Recognition
-
Altmetric BadgeChapter 9 An Extensible Open-Source Compiler Infrastructure for Testing
-
Altmetric BadgeChapter 10 Effective Black-Box Testing with Genetic Algorithms
-
Altmetric BadgeChapter 11 Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains
-
Altmetric BadgeChapter 12 Benchmarking and Testing OSD for Correctness and Compliance
-
Altmetric BadgeChapter 13 A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems
-
Altmetric BadgeChapter 14 Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
-
Altmetric BadgeChapter 15 Dynamic Deadlock Analysis of Multi-threaded Programs
-
Altmetric BadgeChapter 16 Verification of the Java Causality Requirements
-
Altmetric BadgeChapter 17 Choosing Among Alternative Futures