Catherine Dubois, Burkhart Wolff
Proceedings of the 12th International Conference on Tests and Proofs
TAP, 2018.

@proceedings{TAP-2018,
	doi           = "10.1007/978-3-319-92994-1",
	editor        = "Catherine Dubois and Burkhart Wolff",
	isbn          = "['978-3-319-92993-4', '978-3-319-92994-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Tests and Proofs}",
	volume        = 10889,
	year          = 2018,
}

Contents (11 items)

TAP-2018-0001DLT #testing #validation #verification

Tests from Witnesses - Execution-Based Validation of Verification Results (DB0, MD, TL0, MT), pp. 3–23.

TAP-2018-BernardHK #approach #approximate #modelling #random #scalability

An Approximation-Based Approach for the Random Exploration of Large Models (JB0, PCH, OK), pp. 27–43.

TAP-2018-BlatterKGPP #c #relational #self #verification

Static and Dynamic Verification of Relational Properties on Self-composed C Code (LB, NK, PLG, VP, GP), pp. 44–62.

TAP-2018-JulliandKMV #approximate #generative

Under-Approximation Generation Driven by Relevance Predicates and Variants (JJ, OK, PAM, GV), pp. 63–82.

TAP-2018-HerdaTB #data flow #dependence #graph #testing #using #verification

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (MH, SST, BB), pp. 83–102.

TAP-2018-Keller #bound #higher-order #testing #verification

Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL (CK), pp. 103–119.

TAP-2018-LeCSW #proving #verification

Verification Coverage for Combining Test and Proof (VHL, LC, JS, VW), pp. 120–138.

TAP-2018-VorobyovKS #c #case study #detection #experience #runtime #security #using #verification

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report (KV, NK, JS), pp. 139–156.

TAP-2018-BruckerH #formal method #proving #standard #web

Formalizing (Web) Standards - An Application of Test and Proof (ADB, MH), pp. 159–166.

TAP-2018-Fuchs #automation #generative #java #testing #web

Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.

TAP-2018-LoulergueBK #axiom #execution #specification

Ghosts for Lists: From Axiomatic to Executable Specifications (FL, AB, NK), pp. 177–184.