TAP'10 TAP location images












Co-located with:

Sponsored by:


Program: 4th International Conference on Tests & Proofs (TAP 2010)

July 1, 2010

09:30 -- Opening

09:35 -- Keynote

  • Mike Ernst: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback

11:00 -- Break

11:30 -- Session 1: Shared Session with TOOLS Europe

  • JSConTest: Contract-Driven Testing of JavaScript Code Phillip Heidegger, Peter Thiemann (TOOLS)

  • Moles: tool-assisted environment isolation with closures Jonathan de Halleux, Nikolai Tillmann (TOOLS)

  • Koen Claessen, Nicholas Smallbone and John Hughes. QuickSpec: Guessing Formal Specifications using Testing (TAP)

13:00 -- Lunch

14:30 -- Session 2: "Testing Proofs"

  • Ki Yung Ahn and Ewen Denney. Testing First-Order Logic Axioms in Program Verification

  • Martin Gogolla, Lars Hamann and Mirco Kuhlmann. Proving OCL Invariant Independence by Automatically Generated Test Cases

  • Lydie du Bousquet and Michel Levy. Proof process evaluation with mutation analysis

16:00 -- Break

16:30 -- Session 3: "Test Generation using Proof Techniques"

  • Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert and Amiram Yehudai. Generating Regression Unit Tests using a Combination of Verification and Capture & Replay

  • Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann and Scott Wadsworth. DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces

  • Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging

July 2, 2010

09:30 -- Shared Keynote with SC:

  • Valérie Issarny: From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems

11:00 -- Break

11:30 -- Keynote:

  • Nachiappan Nagappan. Myths in Software Engineering: From the Other Side

13:00 -- Lunch

14:30 -- Session 3 (continued): "Test Generation using Proof Techniques"

  • Eugene Goldberg and Panagiotis Manolios. Generating High Quality Tests for Boolean Circuits by Treating Tests as Proof Encodings

15:00 -- Session 4: "Theorem Proving and Testing"

  • Jasmin Christian Blanchette. Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions

  • Vlad Rusu. Combining narrowing and theorem proving for rewriting-logic specifications

16:00 -- Break

16:30 -- Session 5: "Abstraction"

  • Jacques Julliand, Nicolas Stouls, BUE Pierre-christophe and Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests

  • Pierre-Christophe Bue, Frederic Dadeau, Adrien de Kermadec and Fabrice Bouquet. Building a test-ready abstraction of a behavioral model using CLP

17:30 -- Discussion + closing

TAP footer image