Jasmin Christian Blanchette, Nikolai Kosmatov
Proceedings of the Ninth International Conference on Tests and Proofs
TAP, 2015.

@proceedings{TAP-2015,
	address       = "L'Aquila, Italy",
	doi           = "10.1007/978-3-319-21215-9",
	editor        = "Jasmin Christian Blanchette and Nikolai Kosmatov",
	isbn          = "978-3-319-21214-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Conference on Tests and Proofs}",
	volume        = 9154,
	year          = 2015,
}

Contents (12 items)

7 ×#testing
4 ×#generative
3 ×#case study
2 ×#modelling
2 ×#ocl
2 ×#uml
2 ×#using
2 ×#verification

TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing

Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.

TAP-2015-AthanasiouLS #concurrent #generative #testing #using

Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.

TAP-2015-BirchFP #fault #locality #modelling #performance #testing

Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.

TAP-2015-BloemHRS #automation #case study #generative #implementation #testing

Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.

TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.

TAP-2015-DutleMNB #animation #validation

Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.

TAP-2015-GenestierGP #array #deduction #generative #verification

Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.

TAP-2015-HubnerHP #equivalence #evaluation #novel #testing

Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.

TAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml

Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.

TAP-2015-SoekenSD #invariant #ocl #specification

Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.