Martin Gogolla, Burkhart Wolff
Proceedings of the Fifth International Conference on Tests and Proofs
TAP, 2011.

@proceedings{TAP-2011,
	address       = "Zurich, Switzerland",
	doi           = "10.1007/978-3-642-21768-5",
	editor        = "Martin Gogolla and Burkhart Wolff",
	isbn          = "978-3-642-21767-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Tests and Proofs}",
	volume        = 6706,
	year          = 2011,
}

Contents (14 items)

12 ×#testing
4 ×#generative
3 ×#modelling
2 ×#automaton
2 ×#proving

TAP-2011-Gaudel #modelling #proving #source code #testing

Checking Models, Proving Programs, and Testing Systems (MCG), pp. 1–13.

TAP-2011-Godefroid #proving #testing

Tests from Proofs (PG), p. 14.

TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.

TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.

TAP-2011-BueJM #approximate #generative #modelling #testing

Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.

TAP-2011-BuchlerOP #security #testing

Security Mutants for Property-Based Testing (MB, JO, AP), pp. 69–77.

TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.

TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.

TAP-2011-DrossFM

Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.

TAP-2011-HeamM #approach #automaton #random testing #testing #using

A Random Testing Approach Using Pushdown Automata (PCH, CM), pp. 119–133.

TAP-2011-MeinkeS #incremental #testing

Incremental Learning-Based Testing for Reactive Systems (KM, MAS), pp. 134–151.

TAP-2011-SoekenWD #data type #encoding #modelling #ocl #satisfiability #uml #verification

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.

TAP-2011-Tan #automaton #metric #testing

State Coverage Metrics for Specification-Based Testing with Büchi Automata (LT), pp. 171–186.

TAP-2011-TroyaBLV #communication #lightweight #network #testing

Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.