default search action

combined dblp search
author search
venue search
publication search

ask others

10th TAP@STAF 2016: Vienna, Austria

> Home > Conferences and Workshops > TAP
> Home > Conferences and Workshops > STAF

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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2016
Bernhard K. Aichernig, Carlo A. Furia:
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7

Invited Contribution

- view
  authority control:
- export record
  dblp key:
  - conf/tap/ReichlFT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ReichlFT16
Klaus Reichl, Tomas Fischer, Peter Tummeltshammer:
Using Formal Methods for Verification and Validation in Railway. 3-13

Regular Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/tap/BruckerW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BruckerW16
Achim D. Brucker, Burkhart Wolff:
Monadic Sequence Testing and Explicit Test-Refinements. 17-36
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CheneyMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CheneyMP16
James Cheney, Alberto Momigliano, Matteo Pessina:
Advances in Property-Based Testing for \alpha Prolog. 37-56
- view
  authority control:
- export record
  dblp key:
  - conf/tap/DuboisGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DuboisGG16
Catherine Dubois, Alain Giorgetti, Richard Genestier:
Tests and Proofs for Enumerative Combinatorics. 57-75
- view
  authority control:
- export record
  dblp key:
  - conf/tap/FelbingerPW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/FelbingerPW16
Hermann Felbinger, Ingo Pill, Franz Wotawa:
Classifying Test Suite Effectiveness via Model Inference and ROBBDs. 76-93
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GabmeyerS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GabmeyerS16
Sebastian Gabmeyer, Martina Seidl:
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. 94-111
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Liu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Liu16
Shaoying Liu:
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. 112-129
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PetiotKBGJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PetiotKBGJ16
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. 130-150
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PodelskiSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PodelskiSW16
Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. 151-168

Tool Demonstration

- view
  authority control:
- export record
  dblp key:
  - conf/tap/TamaritRMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/TamaritRMC16
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero:
Debugging Meets Testing in Erlang. 171-180

Short Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/tap/MakhloufTPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MakhloufTPS16
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker:
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. 183-190
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Slama16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Slama16
Franck Slama:
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! 191-198

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.