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

Catherine Dubois
Proceedings of the Third International Conference on Tests and Proofs
TAP, 2009.

TEST
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{TAP-2009,
	address       = "Zurich, Switzerland",
	doi           = "10.1007/978-3-642-02949-3",
	editor        = "Catherine Dubois",
	isbn          = "978-3-642-02948-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Tests and Proofs}",
	volume        = 5668,
	year          = 2009,
}

Contents (12 items)

TAP-2009-Chetali #certification #formal method #security #smarttech #testing
Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
TAP-2009-NoriR #statistics #testing #verification
Verification, Testing and Statistics (AVN, SKR), pp. 6–9.
TAP-2009-AyraultHP #development
Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.
TAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.
TAP-2009-FazlalizadehKAP #constraints #performance #testing
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization (YF, AK, MAA, SP), pp. 43–57.
TAP-2009-FraserW #logic #testing
Complementary Criteria for Testing Temporal Logic Properties (GF, FW), pp. 58–73.
TAP-2009-Gladisch #contract #invariant #question
Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
TAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml
Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
TAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing
Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TAP-2009-HerberFG #model checking #process #testing
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process (PH, FF, SG), pp. 121–136.
TAP-2009-Rapin #bound #execution #model checking #symbolic computation
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
TAP-2009-RatschanS #fault #hybrid #optimisation #quality
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.

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.