Hardware and Software: Verification and Testing

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Hazards of Verification
3. Altmetric Badge
   Chapter 2 Automata-Theoretic Model Checking Revisited
4. Altmetric Badge
   Chapter 3 Proofs, Interpolants, and Relevance Heuristics
5. Altmetric Badge
   Chapter 4 Is Verification Getting Too Complex?
6. Altmetric Badge
   Chapter 5 Can Mutation Analysis Help Fix Our Broken Coverage Metrics?
7. Altmetric Badge
   Chapter 6 Practical Considerations Concerning HL-to -RT Equivalence Checking
8. Altmetric Badge
   Chapter 7 A Framework for Inherent Vacuity
9. Altmetric Badge
   Chapter 8 A Meta Heuristic for Effectively Detecting Concurrency Errors
10. Altmetric Badge
    Chapter 9 A Uniform Approach to Three-Valued Semantics for μ -Calculus on Abstractions of Hybrid Automata
11. Altmetric Badge
    Chapter 10 Automatic Boosting of Cross-Product Coverage Using Bayesian Networks
12. Altmetric Badge
    Chapter 11 Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( $\mathcal{LIA}$ )
13. Altmetric Badge
    Chapter 12 Evaluating Workloads Using Comparative Functional Coverage
14. Altmetric Badge
    Chapter 13 Iterative Delta Debugging
15. Altmetric Badge
    Chapter 14 Linear-Time Reductions of Resolution Proofs
16. Altmetric Badge
    Chapter 15 Significant Diagnostic Counterexamples in Probabilistic Model Checking
17. Altmetric Badge
    Chapter 16 Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ  −  Σ Modulator
18. Altmetric Badge
    Chapter 17 Structural Contradictions
19. Altmetric Badge
    Chapter 18 Synthesizing Test Models from Test Cases
20. Altmetric Badge
    Chapter 19 d-TSR : Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework
21. Altmetric Badge
    Chapter 20 Progress in Automated Software Defect Prediction
22. Altmetric Badge
    Chapter 21 SeeCode – A Code Review Plug-in for Eclipse
23. Altmetric Badge
    Chapter 22 User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE