Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

2nd TAP 2008: Prato, Italy

> 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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2008
Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966, Springer 2008, ISBN 978-3-540-79123-2

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Hennell08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Hennell08
Michael A. Hennell:
The First Thirty Years: Experience with Software Verification. 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BallK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BallK08
Thomas Ball, Orna Kupferman:
Vacuity in Testing. 4-17
- view
  authority control:
- export record
  dblp key:
  - conf/tap/WeyukerO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/WeyukerO08
Elaine J. Weyuker, Thomas J. Ostrand:
What Can Fault Prediction Do for YOU?. 18-29

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Cao08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Cao08
Zining Cao:
Equivalence Checking for a Finite Higher Order pi-Calculus. 30-47
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ClaessenS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ClaessenS08
Koen Claessen, Hans Svensson:
Finding Counter Examples in Induction Proofs. 48-65
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CalvagnaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CalvagnaG08
Andrea Calvagna, Angelo Gargantini:
A Logic-Based Approach to Combinatorial Testing with Constraints. 66-83
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CarlierD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CarlierD08
Matthieu Carlier, Catherine Dubois:
Functional Testing in the Focal Environment. 84-98
- view
  authority control:
- export record
  dblp key:
  - conf/tap/DunetsSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DunetsSR08
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Bounded Relational Analysis of Free Data Types. 99-115
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Ferrara08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Ferrara08
Pietro Ferrara:
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. 116-133
- view
  authority control:
- export record
  dblp key:
  - conf/tap/TillmannH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/TillmannH08
Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. 134-153
- view
  authority control:
- export record
  dblp key:
  - conf/tap/VelroyenR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/VelroyenR08
Helga Velroyen, Philipp Rümmer:
Non-termination Checking for Imperative Programs. 154-170

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/tap/HalleuxT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HalleuxT08
Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. 171-181
- view
  authority control:
- export record
  dblp key:
  - conf/tap/EngelGKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/EngelGKR08
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer:
Integrating Verification and Testing of Object-Oriented Software. 182-191

a service of

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.