Korean
Hardware and Software: Verification and Testing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless
-
Altmetric BadgeChapter 2 Scaling Commercial Verification to Larger Systems
-
Altmetric BadgeChapter 3 From Hardware Verification to Software Verification: Re-use and Re-learn
-
Altmetric BadgeChapter 4 Where Do Bugs Come from?
-
Altmetric BadgeChapter 5 Symbolic Execution and Model Checking for Testing
-
Altmetric BadgeChapter 6 On the Characterization of Until as a Fixed Point Under Clocked Semantics
-
Altmetric BadgeChapter 7 Reactivity in SystemC Transaction-Level Models
-
Altmetric BadgeChapter 8 Verifying Parametrised Hardware Designs Via Counter Automata
-
Altmetric BadgeChapter 9 How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
-
Altmetric BadgeChapter 10 Constraint Patterns and Search Procedures for CP-Based Random Test Generation
-
Altmetric BadgeChapter 11 Using Virtual Coverage to Hit Hard-To-Reach Events
-
Altmetric BadgeChapter 12 Hardware and Software: Verification and Testing
-
Altmetric BadgeChapter 13 Dynamic Testing Via Automata Learning
-
Altmetric BadgeChapter 14 On the Architecture of System Verification Environments
-
Altmetric BadgeChapter 15 Exploiting Shared Structure in Software Verification Conditions
-
Altmetric BadgeChapter 16 Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code
-
Altmetric BadgeChapter 17 A Complete Bounded Model Checking Algorithm for Pushdown Systems
-
Altmetric BadgeChapter 18 Locating Regression Bugs
-
Altmetric BadgeChapter 19 The Advantages of Post-Link Code Coverage
-
Altmetric BadgeChapter 20 GenUTest: A Unit Test and Mock Aspect Generation Tool