90 followers
Testing-Based Formal Verification for Theorems and Its Application to Software Specs by Shaoying Liu https://t.co/zhRzULasEz #tap16 #staf16
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
Attention for Chapter 7:
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification