Revised Papers of the First 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

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

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.