Software Doping Analysis for Human Oversight
Preprint in arXiv (August 2023)
Tests and Proofs
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Checking Models, Proving Programs, and Testing Systems
-
Altmetric BadgeChapter 2 Tests from Proofs
-
Altmetric BadgeChapter 3 Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
-
Altmetric BadgeChapter 4 Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
-
Altmetric BadgeChapter 5 Association of Under-Approximation Techniques for Generating Tests from Models
-
Altmetric BadgeChapter 6 Security Mutants for Property-Based Testing
-
Altmetric BadgeChapter 7 The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
-
Altmetric BadgeChapter 8 Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
-
Altmetric BadgeChapter 9 Correct Code Containing Containers
-
Altmetric BadgeChapter 10 A Random Testing Approach Using Pushdown Automata
-
Altmetric BadgeChapter 11 Incremental Learning-Based Testing for Reactive Systems
-
Altmetric BadgeChapter 12 Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
-
Altmetric BadgeChapter 13 State Coverage Metrics for Specification-Based Testing with Büchi Automata
-
Altmetric BadgeChapter 14 Lightweight Testing of Communication Networks with e-Motions
Attention for Chapter 8:
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications