Proceedings of the Eighth International Conference on Tests and Proofs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.