Abstract is missing.
- Combining Static and Dynamic Reasoning for Bug DetectionYannis Smaragdakis, Christoph Csallner. 1-16 [doi]
- Testable Requirements and SpecificationsJonathan S. Ostroff, Faraz Ahmadi Torshizi. 17-40 [doi]
- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic LogicPhilipp Rümmer, Muhammad Ali Shah. 41-60 [doi]
- Testing and Verifying Invariant Based Programs in the SOCOS EnvironmentRalph-Johan Back, Johannes Eriksson, Magnus Myreen. 61-78 [doi]
- Testing and Proving Distributed Algorithms in Constructive Type TheoryQiao Haiyan. 79-94 [doi]
- Automatic Testing from Formal SpecificationsManoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh. 95-113 [doi]
- Using Contracts and Boolean Queries to Improve the Quality of Automatic Test GenerationLisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller. 114-130 [doi]
- Symbolic Execution Techniques for Refinement TestingPascale Le Gall, Nicolas Rapin, Assia Touil. 131-148 [doi]
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall TestingAchim D. Brucker, Burkhart Wolff. 149-168 [doi]
- Generating Unit Tests from Formal ProofsChristian Engel, Reiner Hähnle. 169-188 [doi]
- Using Model Checking to Generate Fault Detecting TestsAngelo Gargantini. 189-206 [doi]
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box TestingBernhard Beckert, Christoph Gladisch. 207-216 [doi]