↓ 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 Model Checking PSL Using HOL and SMV
  3. Altmetric Badge
    Chapter 2 Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation
  4. Altmetric Badge
    Chapter 3 Extracting a Simplified View of Design Functionality Based on Vector Simulation
  5. Altmetric Badge
    Chapter 4 Automatic Fault Localization for Property Checking
  6. Altmetric Badge
    Chapter 5 Verification of Data Paths Using Unbounded Integers: Automata Strike Back
  7. Altmetric Badge
    Chapter 6 Smart-Lint: Improving the Verification Flow
  8. Altmetric Badge
    Chapter 7 Model-Driven Development with the jABC
  9. Altmetric Badge
    Chapter 8 Detecting Design Flaws in UML State Charts for Embedded Software
  10. Altmetric Badge
    Chapter 9 A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques
  11. Altmetric Badge
    Chapter 10 An Open Source Simulation Model of Software Development and Testing
  12. Altmetric Badge
    Chapter 11 ExpliSAT: Guiding SAT-Based Software Verification with Explicit States
  13. Altmetric Badge
    Chapter 12 Evolutionary Testing: A Case Study
  14. Altmetric Badge
    Chapter 13 A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
  15. Altmetric Badge
    Chapter 14 Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise
  16. Altmetric Badge
    Chapter 15 Testing the Machine in the World
  17. Altmetric Badge
    Chapter 16 Choosing a Test Modeling Language: A Survey
  18. Altmetric Badge
    Chapter 17 Making Model-Based Testing More Agile: A Use Case Driven Approach
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
3 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, May 2007
DOI 10.1007/978-3-540-70889-6
ISBNs
978-3-54-070888-9, 978-3-54-070889-6
Editors

Bin, Eyal, Ziv, Avi, Ur, Shmuel

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.