default search action

combined dblp search
author search
venue search
publication search

ask others

7th TAP@STAF 2013: Budapest, Hungary

> 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/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2013
Margus Veanes, Luca Viganò:
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7942, Springer 2013, ISBN 978-3-642-38915-3
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AichernigJK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AichernigJK13
Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele:
Incremental Refinement Checking for Test Case Generation. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AichernigLN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AichernigLN13
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. 20-38
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ArthoBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ArthoBS13
Cyrille Artho, Armin Biere, Martina Seidl:
Model-Based Testing for Verification Back-Ends. 39-55
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BeckertB013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BeckertB013
Bernhard Beckert, Thorsten Bormer, Markus Wagner:
A Metric for Testing Program Verification Systems. 56-75
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BruckerFNW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BruckerFNW13
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff:
Test Program Generation for a Microprocessor - A Case-Study. 76-95
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CaballeroMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CaballeroMRT13
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A Declarative Debugger for Sequential Erlang Programs. 96-114
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GogollaBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GogollaBC13
Martin Gogolla, Fabian Büttner, Jordi Cabot:
Initiating a Benchmark for UML and OCL Analysis Tools. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/tap/InsaSR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/InsaSR13
David Insa, Josep Silva, Adrián Riesco:
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. 133-151
- view
  authority control:
- export record
  dblp key:
  - conf/tap/JamrozikFTH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/JamrozikFTH13
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. 152-167
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KosmatovPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KosmatovPS13
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles:
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. 168-177
- view
  authority control:
- export record
  dblp key:
  - conf/tap/OudinetCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/OudinetCB13
Johan Oudinet, Alberto Calvi, Matthias Büchler:
Evaluation of ASLan Mutation Operators. 178-196
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PotzlH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PotzlH13
Daniel Pötzl, Andreas Holzer:
Solving Constraints for Generational Search. 197-213
- view
  authority control:
- export record
  dblp key:
  - conf/tap/StokkinkTS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/StokkinkTS13
Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga:
Divergent Quiescent Transition Systems. 214-231

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.