## 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)

- 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.

9 ×#testing

5 ×#proving

4 ×#generative

3 ×#using

2 ×#abstraction

2 ×#analysis

2 ×#automation

2 ×#named

2 ×#specification

2 ×#verification

5 ×#proving

4 ×#generative

3 ×#using

2 ×#abstraction

2 ×#analysis

2 ×#automation

2 ×#named

2 ×#specification

2 ×#verification