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
