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

@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)

7 ×#testing
2 ×#execution
2 ×#model checking
2 ×#symbolic computation

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.