Martina Seidl, Nikolai Tillmann
Proceedings of the Eighth International Conference on Tests and Proofs
TAP, 2014.

@proceedings{TAP-2014,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-319-09099-3",
	editor        = "Martina Seidl and Nikolai Tillmann",
	isbn          = "978-3-319-09098-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Tests and Proofs}",
	volume        = 8570,
	year          = 2014,
}

Contents (16 items)

9 ×#testing
6 ×#verification
3 ×#generative
2 ×#automation
2 ×#behaviour
2 ×#bound
2 ×#execution
2 ×#modelling
2 ×#parallel
2 ×#uml

TAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing

Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.

TAP-2014-AminLR #smt

Computing with an SMT Solver (NA, KRML, TR), pp. 20–35.

TAP-2014-ArcainiGR #abstraction #model checking #testing

An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.

TAP-2014-BardinCDK #automation #testing #tool support

An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.

TAP-2014-DiepenbeckKSD #behaviour #development #testing #verification

Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.

TAP-2014-Gabmeyer #assurance #quality

Quality Assurance in MBE Back and Forth (SG), pp. 78–81.

TAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation

Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.

TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.

TAP-2014-JannesariKSW #classification #generative #parallel #testing

Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.

TAP-2014-KampmannGZ #bound #execution #named #performance #verification

JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.

TAP-2014-KanigCCGMR #verification

Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.

TAP-2014-KosmatovLA #case study #proving #testing #verification

A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.

TAP-2014-KosmatovS #analysis #runtime #tutorial

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.

TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.

TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread

Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.

TAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification

How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.