default search action

combined dblp search
author search
venue search
publication search

ask others

1st TAP 2007: Zurich, Switzerland

> Home > Conferences and Workshops > TAP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tap/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2007
Yuri Gurevich, Bertrand Meyer:
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454, Springer 2007, ISBN 978-3-540-73769-8
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SmaragdakisC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SmaragdakisC07
Yannis Smaragdakis, Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/tap/OstroffT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/OstroffT07
Jonathan S. Ostroff, Faraz Ahmadi Torshizi:
Testable Requirements and Specifications. 17-40
- view
  authority control:
- export record
  dblp key:
  - conf/tap/RummerS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/RummerS07
Philipp Rümmer, Muhammad Ali Shah:
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. 41-60
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BackEM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BackEM07
Ralph-Johan Back, Johannes Eriksson, Magnus Myreen:
Testing and Verifying Invariant Based Programs in the SOCOS Environment. 61-78
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Haiyan07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Haiyan07
Qiao Haiyan:
Testing and Proving Distributed Algorithms in Constructive Type Theory. 79-94
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SatpathyBLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SatpathyBLR07
Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh:
Automatic Testing from Formal Specifications. 95-113
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LiuMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LiuMS07
Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller:
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. 114-130
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GallRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GallRT07
Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Refinement Testing. 131-148
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BruckerW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BruckerW07
Achim D. Brucker, Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. 149-168
- view
  authority control:
- export record
  dblp key:
  - conf/tap/EngelH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/EngelH07
Christian Engel, Reiner Hähnle:
Generating Unit Tests from Formal Proofs. 169-188
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Gargantini07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Gargantini07
Angelo Gargantini:
Using Model Checking to Generate Fault Detecting Tests. 189-206
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BeckertG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BeckertG07
Bernhard Beckert, Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. 207-216

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.