↓ 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
Attention for Chapter 15: Testing the Machine in the World
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
5 Mendeley
citeulike
3 CiteULike
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.
Chapter title
Testing the Machine in the World
Chapter number 15
Book title
Hardware and Software, Verification and Testing
Published by
Springer, Berlin, Heidelberg, October 2006
DOI 10.1007/978-3-540-70889-6_15
Book ISBNs
978-3-54-070888-9, 978-3-54-070889-6
Authors

Michael Jackson

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 20%
Greece 1 20%
Unknown 3 60%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 40%
Student > Ph. D. Student 1 20%
Professor > Associate Professor 1 20%
Researcher 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Engineering 1 20%