ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games
Book chapter (June 2020)
The most recent citing publication is shown below. View this citation on Dimensions.
Tests and Proofs
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Tests from Witnesses
-
Altmetric BadgeChapter 2 An Approximation-Based Approach for the Random Exploration of Large Models
-
Altmetric BadgeChapter 3 Static and Dynamic Verification of Relational Properties on Self-composed C Code
-
Altmetric BadgeChapter 4 Under-Approximation Generation Driven by Relevance Predicates and Variants
-
Altmetric BadgeChapter 5 Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties
-
Altmetric BadgeChapter 6 Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL
-
Altmetric BadgeChapter 7 Verification Coverage for Combining Test and Proof
-
Altmetric BadgeChapter 8 Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report
-
Altmetric BadgeChapter 9 Formalizing (Web) Standards
-
Altmetric BadgeChapter 10 Automated Test Case Generation for Java EE Based Web Applications
-
Altmetric BadgeChapter 11 Ghosts for Lists: From Axiomatic to Executable Specifications
Attention for Chapter 8:
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report