|
|
Conferences in DBLP
(tap)
2007 (conf/tap/2007)
- Yannis Smaragdakis, Christoph Csallner
Combining Static and Dynamic Reasoning for Bug Detection. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:1-16 [Conf]
- Jonathan S. Ostroff, Faraz Ahmadi Torshizi
Testable Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:17-40 [Conf]
- Philipp Rümmer, Muhammad Ali Shah
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:41-60 [Conf]
- Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
Testing and Verifying Invariant Based Programs in the SOCOS Environment. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:61-78 [Conf]
- Qiao Haiyan
Testing and Proving Distributed Algorithms in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:79-94 [Conf]
- Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh
Automatic Testing from Formal Specifications. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:95-113 [Conf]
- Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:114-130 [Conf]
- Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Refinement Testing. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:131-148 [Conf]
- Achim D. Brucker, Burkhart Wolff
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:149-168 [Conf]
- Christian Engel, Reiner Hähnle
Generating Unit Tests from Formal Proofs. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:169-188 [Conf]
- Angelo Gargantini
Using Model Checking to Generate Fault Detecting Tests. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:189-206 [Conf]
- Bernhard Beckert, Christoph Gladisch
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:207-216 [Conf]
|
