Skip to main content
SpringerLink
Log in
Book cover

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Jasmin Christian Blanchette

    1. Inria Nancy & LORIA, Villers-lès-Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nikolai Kosmatov

    1. CEA LIST Nano-Innov, Saclay, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9154)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TAP 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Scalable Incremental Test-case Generation from Large Behavior Models

    • Bernhard K. Aichernig, Dejan Ničković, Stefan Tiran
    Pages 1-18

  3. Test Case Generation for Concurrent Systems Using Event Structures

    • Konstantinos Athanasiou, Hernán Ponce-de-León, Stefan Schwoon
    Pages 19-37

  4. Fast Model-Based Fault Localisation with Test Suites

    • Geoff Birch, Bernd Fischer, Michael R. Poppleton
    Pages 38-57

  5. Case Study: Automatic Test Case Generation for a Secure Cache Implementation

    • Roderick Bloem, Daniel Hein, Franz Röck, Richard Schumi
    Pages 58-75

  6. Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

    • Anamaria M. Moreira, Cleverton Hentz, David Déharbe, Ernesto C. B. de Matos, João B. Souza Neto, Valério de Medeiros Jr.
    Pages 76-91

  7. Software Validation via Model Animation

    • Aaron M. Dutle, César A. Muñoz, Anthony J. Narkawicz, Ricky W. Butler
    Pages 92-108

  8. Sequential Generation of Structured Arrays and Its Deductive Verification

    • Richard Genestier, Alain Giorgetti, Guillaume Petiot
    Pages 109-128

  9. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study

    • Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
    Pages 129-136

  10. A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

    • Olga Grinchtein, Mats Carlsson, Justin Pearson
    Pages 137-154

  11. Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy

    • Felix Hübner, Wen-ling Huang, Jan Peleska
    Pages 155-172

  12. Testing Functional Requirements in UML Activity Diagrams

    • Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel
    Pages 173-190

  13. Coverage of OCL Operation Specifications and Invariants

    • Mathias Soeken, Julia Seiter, Rolf Drechsler
    Pages 191-207

  14. Back Matter

    Pages 209-209
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.

Editors and Affiliations

  • Inria Nancy & LORIA, Villers-lès-Nancy, France

    Jasmin Christian Blanchette

  • CEA LIST Nano-Innov, Saclay, France

    Nikolai Kosmatov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation