Monadic Sequence Testing?!
logicalhacking.com: blog,
Posted on 6 July 2016 by Achim D. Brucker, licensed under CC BY-ND 4.0. logic | test
Tests and Proofs
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Using Formal Methods for Verification and Validation in Railway
-
Altmetric BadgeChapter 2 Monadic Sequence Testing and Explicit Test-Refinements
-
Altmetric BadgeChapter 3 Advances in Property-Based Testing for $$\alpha $$ Prolog
-
Altmetric BadgeChapter 4 Tests and Proofs for Enumerative Combinatorics
-
Altmetric BadgeChapter 5 Classifying Test Suite Effectiveness via Model Inference and ROBBDs
-
Altmetric BadgeChapter 6 Tests and Proofs
-
Altmetric BadgeChapter 7 Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
-
Altmetric BadgeChapter 8 Your Proof Fails? Testing Helps to Find the Reason
-
Altmetric BadgeChapter 9 Classifying Bugs with Interpolants
-
Altmetric BadgeChapter 10 Debugging Meets Testing in Erlang
-
Altmetric BadgeChapter 11 Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
-
Altmetric BadgeChapter 12 Automatic Predicate Testing in Formal Certification
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (80th percentile)
-
High Attention Score compared to outputs of the same age and source (92nd percentile)
Readers on
- mendeley
- 3 Mendeley