↓ 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 7: Model-Driven Development with the jABC
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
24 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.
Chapter title
Model-Driven Development with the jABC
Chapter number 7
Book title
Hardware and Software, Verification and Testing
Published in
Second International Haifa Verification Conference on Hardware and Software, Verification and Testing HVC2006, January 2007
DOI 10.1007/978-3-540-70889-6_7
Book ISBNs
978-3-54-070888-9, 978-3-54-070889-6
Authors

Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak, Sven Jörges, Steffen, Bernhard, Margaria, Tiziana, Nagel, Ralf, Jörges, Sven, Kubczak, Christian

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.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 2 8%
Unknown 22 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 25%
Researcher 6 25%
Student > Master 6 25%
Lecturer 1 4%
Student > Doctoral Student 1 4%
Other 3 13%
Unknown 1 4%
Readers by discipline Count As %
Computer Science 16 67%
Environmental Science 1 4%
Business, Management and Accounting 1 4%
Biochemistry, Genetics and Molecular Biology 1 4%
Earth and Planetary Sciences 1 4%
Other 1 4%
Unknown 3 13%