803 followers
Speeding Up Algorithmic Debugging Using Balanced Execution Trees https://t.co/weVGHH4SHB
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