Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.