Bernhard Beckert, Reiner Hähnle
Proceedings of the Second International Conference on Tests and Proofs
TAP, 2008.

@proceedings{TAP-2008,
	address       = "Prato, Italy",
	editor        = "Bernhard Beckert and Reiner Hähnle",
	isbn          = "978-3-540-79123-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Conference on Tests and Proofs}",
	volume        = 4966,
	year          = 2008,
}

Contents (13 items)

6 ×#testing
2 ×#verification

TAP-2008-Hennell #experience #verification

The First Thirty Years: Experience with Software Verification (MAH), pp. 1–3.

TAP-2008-BallK #testing

Vacuity in Testing (TB, OK), pp. 4–17.

TAP-2008-WeyukerO #fault #predict #question #what

What Can Fault Prediction Do for YOU? (EJW, TJO), pp. 18–29.

TAP-2008-Cao #equivalence #finite #higher-order #π-calculus

Equivalence Checking for a Finite Higher Order π-Calculus (ZC), pp. 30–47.

TAP-2008-ClaessenS #induction #proving

Finding Counter Examples in Induction Proofs (KC, HS), pp. 48–65.

TAP-2008-CalvagnaG #approach #combinator #constraints #testing

A Logic-Based Approach to Combinatorial Testing with Constraints (AC, AG), pp. 66–83.

TAP-2008-CarlierD #functional #testing

Functional Testing in the Focal Environment (MC, CD), pp. 84–98.

TAP-2008-DunetsSR #analysis #bound #data type #relational

Bounded Relational Analysis of Free Data Types (AD, GS, WR), pp. 99–115.

TAP-2008-Ferrara #abstract interpretation #memory management #static analysis

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.

TAP-2008-TillmannH #dot-net #generative #testing

Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.

TAP-2008-VelroyenR #imperative #source code

Non-termination Checking for Imperative Programs (HV, PR), pp. 154–170.

TAP-2008-HalleuxT #testing

Parameterized Unit Testing with Pex (JdH, NT), pp. 171–181.

TAP-2008-EngelGKR #object-oriented #testing #verification

Integrating Verification and Testing of Object-Oriented Software (CE, CG, VK, PR), pp. 182–191.