Augmented Dynamic Symbolic Execution explained
User Konrad Jamrozik on YouTube,
This presentation is based on the talk given on 7th International Conference on Tests
Tests and Proofs
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Incremental Refinement Checking for Test Case Generation
-
Altmetric BadgeChapter 2 Time for Mutants — Model-Based Mutation Testing with Timed Automata
-
Altmetric BadgeChapter 3 Tests and Proofs
-
Altmetric BadgeChapter 4 A Metric for Testing Program Verification Systems
-
Altmetric BadgeChapter 5 Test Program Generation for a Microprocessor
-
Altmetric BadgeChapter 6 A Declarative Debugger for Sequential Erlang Programs
-
Altmetric BadgeChapter 7 Initiating a Benchmark for UML and OCL Analysis Tools
-
Altmetric BadgeChapter 8 Tests and Proofs
-
Altmetric BadgeChapter 9 Generating Test Suites with Augmented Dynamic Symbolic Execution
-
Altmetric BadgeChapter 10 A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper
-
Altmetric BadgeChapter 11 Evaluation of ASLan Mutation Operators
-
Altmetric BadgeChapter 12 Tests and Proofs
-
Altmetric BadgeChapter 13 Divergent Quiescent Transition Systems