## 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.