Table of Contents: “... Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future...”

Full text 

Table of Contents: “... by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort....”

Full text