Abstract is missing.
- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic FeedbackMichael D. Ernst. 1-2 [doi]
- Myths in Software Engineering: From the Other SideNachiappan Nagappan. 3-5 [doi]
- QuickSpec: Guessing Formal Specifications Using TestingKoen Claessen, Nicholas Smallbone, John Hughes. 6-21 [doi]
- Testing First-Order Logic Axioms in Program VerificationKi Yung Ahn, Ewen Denney. 22-37 [doi]
- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test CasesMartin Gogolla, Lars Hamann, Mirco Kuhlmann. 38-54 [doi]
- Proof Process Evaluation with Mutation AnalysisLydie du Bousquet, Michel Lévy. 55-60 [doi]
- Generating Regression Unit Tests Using a Combination of Verification and Capture & ReplayChristoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai. 61-76 [doi]
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic TracesSuresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth. 77-93 [doi]
- Combining Static Analysis and Test Generation for C Program DebuggingOmar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. 94-100 [doi]
- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof EncodingEugene Goldberg, Panagiotis Manolios. 101-116 [doi]
- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive FunctionsJasmin Christian Blanchette. 117-134 [doi]
- Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. 135-150 [doi]
- Syntactic Abstraction of B Models to Generate TestsJacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson. 151-166 [doi]
- Building a Test-Ready Abstraction of a Behavioral Model Using CLPPierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet. 167-182 [doi]