Yuri Gurevich, Bertrand Meyer
Revised Papers of the First International Conference on Tests and Proofs
TAP, 2007.

@proceedings{TAP-2007,
	address       = "Zurich, Switzerland",
	editor        = "Yuri Gurevich and Bertrand Meyer",
	isbn          = "978-3-540-73769-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Papers of the First International Conference on Tests and Proofs}",
	volume        = 4454,
	year          = 2007,
}

Contents (12 items)

9 ×#testing
3 ×#generative
3 ×#proving
3 ×#specification
3 ×#using
2 ×#automation
2 ×#detection
2 ×#source code

TAP-2007-SmaragdakisC #debugging #detection #reasoning

Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.

TAP-2007-OstroffT #requirements #specification

Testable Requirements and Specifications (JSO, FAT), pp. 17–40.

TAP-2007-RummerS #calculus #java #logic #proving #source code #using

Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (PR, MAS), pp. 41–60.

TAP-2007-BackEM #invariant #source code #testing #verification

Testing and Verifying Invariant Based Programs in the SOCOS Environment (RJB, JE, MM), pp. 61–78.

TAP-2007-Haiyan #algorithm #distributed #proving #testing #type system

Testing and Proving Distributed Algorithms in Constructive Type Theory (QH), pp. 79–94.

TAP-2007-SatpathyBLR #automation #specification #testing

Automatic Testing from Formal Specifications (MS, MJB, ML, SR), pp. 95–113.

TAP-2007-LiuMS #automation #contract #generative #quality #query #testing #using

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (L(L, BM, BS), pp. 114–130.

TAP-2007-GallRT #execution #refinement #symbolic computation #testing

Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.

TAP-2007-BruckerW #generative #higher-order #testing

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (ADB, BW), pp. 149–168.

TAP-2007-EngelH #generative #proving #testing

Generating Unit Tests from Formal Proofs (CE, RH), pp. 169–188.

TAP-2007-Gargantini #detection #fault #model checking #testing #using

Using Model Checking to Generate Fault Detecting Tests (AG), pp. 189–206.

TAP-2007-BeckertG #black box #specification #testing

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.