Proceedings of the Ninth 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

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

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

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.

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.