↓ Skip to main content

Hardware and Software: Verification and Testing

Overview of attention for book
Cover of 'Hardware and Software: Verification and Testing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Preprocessing and Inprocessing Techniques in SAT
  3. Altmetric Badge
    Chapter 2 Pioneering the Future of Verification: A Spiral of Technological and Business Innovation
  4. Altmetric Badge
    Chapter 3 Automated Detection and Repair of Concurrency Bugs
  5. Altmetric Badge
    Chapter 4 Verification Challenges of Workload Optimized Hardware Systems
  6. Altmetric Badge
    Chapter 5 Synthesis with Clairvoyance
  7. Altmetric Badge
    Chapter 6 Generalized Reactivity(1) Synthesis without a Monolithic Strategy
  8. Altmetric Badge
    Chapter 7 IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
  9. Altmetric Badge
    Chapter 8 Hardware and Software: Verification and Testing
  10. Altmetric Badge
    Chapter 9 Implicative Simultaneous Satisfiability and Applications
  11. Altmetric Badge
    Chapter 10 Liveness vs Safety – A Practical Viewpoint
  12. Altmetric Badge
    Chapter 11 Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search
  13. Altmetric Badge
    Chapter 12 SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
  14. Altmetric Badge
    Chapter 13 Concurrent Small Progress Measures
  15. Altmetric Badge
    Chapter 14 Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
  16. Altmetric Badge
    Chapter 15 Interpolation-Based Function Summaries in Bounded Model Checking
  17. Altmetric Badge
    Chapter 16 Can File Level Characteristics Help Identify System Level Fault-Proneness?
  18. Altmetric Badge
    Chapter 17 Reverse Coverage Analysis
  19. Altmetric Badge
    Chapter 18 Symbolic Testing of OpenCL Code
  20. Altmetric Badge
    Chapter 19 Dynamic Test Data Generation for Data Intensive Applications
  21. Altmetric Badge
    Chapter 20 Injecting Floating-Point Testing Knowledge into Test Generators
  22. Altmetric Badge
    Chapter 21 Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
  23. Altmetric Badge
    Chapter 22 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
  24. Altmetric Badge
    Chapter 23 On-Line Detection and Prediction of Temporal Patterns
  25. Altmetric Badge
    Chapter 24 Function Summaries in Software Upgrade Checking
  26. Altmetric Badge
    Chapter 25 The Rabin Index of Parity Games
  27. Altmetric Badge
    Chapter 26 Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Hardware and Software: Verification and Testing
Published by
Springer Berlin Heidelberg, October 2012
DOI 10.1007/978-3-642-34188-5
ISBNs
978-3-64-234187-8, 978-3-64-234188-5
Editors

Eder, Kerstin, Lourenço, João, Shehory, Onn

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 75%
Student > Bachelor 1 25%
Readers by discipline Count As %
Engineering 3 75%
Computer Science 1 25%