Programming and Software Engineering

Tests and Proofs

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

Herausgeber: Blanchette, Jasmin Christian, Kosmatov, Nikolai (Eds.)

Dieses Buch kaufen

eBook 39,26 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21215-9
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 51,36 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21214-2
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

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.

Inhaltsverzeichnis (12 Kapitel)

  • Scalable Incremental Test-case Generation from Large Behavior Models

    Aichernig, Bernhard K. (et al.)

    Seiten 1-18

  • Test Case Generation for Concurrent Systems Using Event Structures

    Athanasiou, Konstantinos (et al.)

    Seiten 19-37

  • Fast Model-Based Fault Localisation with Test Suites

    Birch, Geoff (et al.)

    Seiten 38-57

  • Case Study: Automatic Test Case Generation for a Secure Cache Implementation

    Bloem, Roderick (et al.)

    Seiten 58-75

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

    Moreira, Anamaria M. (et al.)

    Seiten 76-91

Dieses Buch kaufen

eBook 39,26 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21215-9
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 51,36 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21214-2
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Tests and Proofs
Buchuntertitel
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Herausgeber
  • Jasmin Christian Blanchette
  • Nikolai Kosmatov
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
9154
Copyright
2015
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-21215-9
DOI
10.1007/978-3-319-21215-9
Softcover ISBN
978-3-319-21214-2
Auflage
1
Seitenzahl
XIX, 209
Anzahl der Bilder und Tabellen
57 schwarz-weiß Abbildungen
Themen