default search action

combined dblp search
author search
venue search
publication search

ask others

9th TAP@STAF 2015: L'Aquila, Italy

> 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2015
Jasmin Christian Blanchette, Nikolai Kosmatov:
Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Lecture Notes in Computer Science 9154, Springer 2015, ISBN 978-3-319-21214-2
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AichernigNT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AichernigNT15
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AthanasiouLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AthanasiouLS15
Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon:
Test Case Generation for Concurrent Systems Using Event Structures. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BirchFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BirchFP15
Geoff Birch, Bernd Fischer, Michael R. Poppleton:
Fast Model-Based Fault Localisation with Test Suites. 38-57
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BloemHRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BloemHRS15
Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi:
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. 58-75
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MoreiraHDMNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MoreiraHDMNM15
Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.:
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/tap/DutleMNB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DutleMNB15
Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler:
Software Validation via Model Animation. 92-108
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GenestierGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GenestierGP15
Richard Genestier, Alain Giorgetti, Guillaume Petiot:
Sequential Generation of Structured Arrays and Its Deductive Verification. 109-128
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GogollaHHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GogollaHHS15
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. 129-136
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GrinchteinCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GrinchteinCP15
Olga Grinchtein, Mats Carlsson, Justin Pearson:
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. 137-154
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HubnerHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HubnerHP15
Felix Hübner, Wen-ling Huang, Jan Peleska:
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. 155-172
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MijatovMLK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MijatovMLK15
Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel:
Testing Functional Requirements in UML Activity Diagrams. 173-190
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SoekenSD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SoekenSD15
Mathias Soeken, Julia Seiter, Rolf Drechsler:
Coverage of OCL Operation Specifications and Invariants. 191-207

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.