↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 TOOLympics 2019: An Overview of Competitions in Formal Methods
  3. Altmetric Badge
    Chapter 2 Confluence Competition 2019
  4. Altmetric Badge
    Chapter 3 International Competition on Runtime Verification (CRV)
  5. Altmetric Badge
    Chapter 4 Presentation of the 9th Edition of the Model Checking Contest
  6. Altmetric Badge
    Chapter 5 The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
  7. Altmetric Badge
    Chapter 6 The Rewrite Engines Competitions: A RECtrospective
  8. Altmetric Badge
    Chapter 7 RERS 2019: Combining Synthesis with Real-World Models
  9. Altmetric Badge
    Chapter 8 SL-COMP: Competition of Solvers for Separation Logic
  10. Altmetric Badge
    Chapter 9 Automatic Verification of C and Java Programs: SV-COMP 2019
  11. Altmetric Badge
    Chapter 10 The Termination and Complexity Competition
  12. Altmetric Badge
    Chapter 11 International Competition on Software Testing (Test-Comp)
  13. Altmetric Badge
    Chapter 12 VerifyThis – Verification Competition with a Human Factor
  14. Altmetric Badge
    Chapter 13 CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker
  15. Altmetric Badge
    Chapter 14 Extending DIVINE with Symbolic Verification Using SMT
  16. Altmetric Badge
    Chapter 15 ESBMC v6.0: Verifying C Programs Using k -Induction and Invariant Inference
  17. Altmetric Badge
    Chapter 16 JayHorn : A Java Model Checker
  18. Altmetric Badge
    Chapter 17 JBMC: Bounded Model Checking for Java Bytecode
  19. Altmetric Badge
    Chapter 18 Java Pathfinder at SV-COMP 2019 (Competition Contribution)
  20. Altmetric Badge
    Chapter 19 PeSCo: Predicting Sequential Combinations of Verifiers
  21. Altmetric Badge
    Chapter 20 Pinaka : Symbolic Execution Meets Incremental Solving
  22. Altmetric Badge
    Chapter 21 Symbolic Pathfinder for SV-COMP
  23. Altmetric Badge
    Chapter 22 VeriFuzz: Program Aware Fuzzing
  24. Altmetric Badge
    Chapter 23 VIAP 1.1
Attention for Chapter 11: International Competition on Software Testing (Test-Comp)
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
10 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
International Competition on Software Testing (Test-Comp)
Chapter number 11
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer, Cham, April 2019
DOI 10.1007/978-3-030-17502-3_11
Book ISBNs
978-3-03-017501-6, 978-3-03-017502-3
Authors

Dirk Beyer, Beyer, Dirk

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 10 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 20%
Student > Ph. D. Student 1 10%
Unspecified 1 10%
Lecturer > Senior Lecturer 1 10%
Lecturer 1 10%
Other 0 0%
Unknown 4 40%
Readers by discipline Count As %
Computer Science 3 30%
Unspecified 1 10%
Business, Management and Accounting 1 10%
Engineering 1 10%
Unknown 4 40%