Abstract is missing.
- Efficient Temporal Logic Runtime Monitoring for Tiny SystemsRüdiger Ehlers. 3-21 [doi]
- Is MCDC Really Better? Lessons from Combining Tests and ProofsLi Huang 0003, Bertrand Meyer 0001, Manuel Oriol. 25-44 [doi]
- Refining CEGAR-Based Test-Case Generation with Feasibility AnnotationsMax Barth, Marie-Christine Jakobs. 45-64 [doi]
- No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WPAllan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov. 65-83 [doi]
- Runtime Verification for High-Level Security Properties: Case Study on the TPM Software StackYani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez. 87-106 [doi]
- Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool PaperHao Wu 0017, Thomas Flinkow, Dominique Méry. 107-124 [doi]
- Model-Based Testing of Quantum ComputationsMalte Lochau, Ina Schaefer. 127-147 [doi]
- Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural NetworksMaximilian Schlüter, Bernhard Steffen. 148-167 [doi]
- Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVMMalte Mues, Julian Rüschoff, Ben Hermann 0001. 168-175 [doi]