Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully review...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Programming and Software Engineering ;
10889 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.