Gordon Fraser, Angelo Gargantini
Proceedings of the Fourth International Conference on Tests and Proofs
TAP, 2010.

@proceedings{TAP-2010,
	address       = "Málaga, Spain",
	doi           = "10.1007/978-3-642-13977-2",
	editor        = "Gordon Fraser and Angelo Gargantini",
	isbn          = "978-3-642-13976-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Tests and Proofs}",
	volume        = 6143,
	year          = 2010,
}

Contents (14 items)

9 ×#testing
5 ×#proving
4 ×#generative
3 ×#using
2 ×#abstraction
2 ×#analysis
2 ×#automation
2 ×#named
2 ×#specification
2 ×#verification

TAP-2010-Ernst #feedback #how #proving #testing

How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback (MDE), pp. 1–2.

TAP-2010-Nagappan #re-engineering

Myths in Software Engineering: From the Other Side (NN), pp. 3–5.

TAP-2010-ClaessenSH #named #specification #testing #using

QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.

TAP-2010-AhnD #axiom #first-order #logic #testing #verification

Testing First-Order Logic Axioms in Program Verification (KYA, ED), pp. 22–37.

TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.

TAP-2010-BousquetL #analysis #evaluation #mutation testing #process #proving

Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.

TAP-2010-GladischTBY #generative #testing #using #verification

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.

TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.

TAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing

Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.

TAP-2010-GoldbergM #encoding #generative #proving #testing

Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.

TAP-2010-Blanchette #algebra #analysis #data type #induction #recursion #relational

Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.

TAP-2010-Rusu #proving #specification #theorem proving

Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications (VR), pp. 135–150.

TAP-2010-JulliandSBM #abstraction #modelling #testing

Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.

TAP-2010-BueDKB #abstraction #behaviour #using

Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.