Bernhard K. Aichernig, Carlo A. Furia
Proceedings of the 10th International Conference on Tests and Proofs
TAP, 2016.

@proceedings{TAP-2016,
	doi           = "10.1007/978-3-319-41135-4",
	editor        = "Bernhard K. Aichernig and Carlo A. Furia",
	isbn          = "978-3-319-41134-7",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Tests and Proofs}",
	volume        = 9762,
	year          = 2016,
}

Contents (12 items)

TAP-2016-ReichlFT #formal method #using #validation #verification

Using Formal Methods for Verification and Validation in Railway (KR, TF, PT), pp. 3–13.

TAP-2016-BruckerW #monad #sequence #testing

Monadic Sequence Testing and Explicit Test-Refinements (ADB, BW), pp. 17–36.

TAP-2016-CheneyMP #prolog #roadmap #testing

Advances in Property-Based Testing for α Prolog (JC, AM, MP), pp. 37–56.

TAP-2016-DuboisGG #combinator #proving #testing

Tests and Proofs for Enumerative Combinatorics (CD, AG, RG), pp. 57–75.

TAP-2016-FelbingerPW #effectiveness #model inference #testing

Classifying Test Suite Effectiveness via Model Inference and ROBBDs (HF, IP, FW), pp. 76–93.

TAP-2016-GabmeyerS #graph transformation #hardware #lightweight #model checking #off the shelf #verification

Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers (SG, MS), pp. 94–111.

TAP-2016-Liu #specification #testing #theorem #verification

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (SL), pp. 112–129.

TAP-2016-PetiotKBGJ #proving #testing

Your Proof Fails? Testing Helps to Find the Reason (GP, NK, BB, AG, JJ), pp. 130–150.

TAP-2016-PodelskiSW #debugging

Classifying Bugs with Interpolants (AP, MS, TW), pp. 151–168.

TAP-2016-TamaritRMC #debugging #erlang #testing

Debugging Meets Testing in Erlang (ST, AR0, EMM, RC0), pp. 171–180.

TAP-2016-MakhloufTPS #graph transformation #static analysis

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (AM, HNT, CP, MS), pp. 183–190.

TAP-2016-Slama #automation #certification #exclamation #testing #what

Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! (FS), pp. 191–198.