The SCEAS System
Navigation Menu

Conferences in DBLP

2007 (conf/tap/2007)

  1. Yannis Smaragdakis, Christoph Csallner
    Combining Static and Dynamic Reasoning for Bug Detection. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:1-16 [Conf]
  2. Jonathan S. Ostroff, Faraz Ahmadi Torshizi
    Testable Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:17-40 [Conf]
  3. 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]
  4. 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]
  5. Qiao Haiyan
    Testing and Proving Distributed Algorithms in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:79-94 [Conf]
  6. Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh
    Automatic Testing from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:95-113 [Conf]
  7. 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]
  8. Pascale Le Gall, Nicolas Rapin, Assia Touil
    Symbolic Execution Techniques for Refinement Testing. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:131-148 [Conf]
  9. 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]
  10. Christian Engel, Reiner Hähnle
    Generating Unit Tests from Formal Proofs. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:169-188 [Conf]
  11. Angelo Gargantini
    Using Model Checking to Generate Fault Detecting Tests. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:189-206 [Conf]
  12. 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002