Programming and Software Engineering

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Editors: Dubois, Catherine, Wolff, Burkhart (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-92994-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-92993-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Tests from Witnesses

    Pages 3-23

    Beyer, Dirk (et al.)

  • An Approximation-Based Approach for the Random Exploration of Large Models

    Pages 27-43

    Bernard, Julien (et al.)

  • Static and Dynamic Verification of Relational Properties on Self-composed C Code

    Pages 44-62

    Blatter, Lionel (et al.)

  • Under-Approximation Generation Driven by Relevance Predicates and Variants

    Pages 63-82

    Julliand, J. (et al.)

  • Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties

    Pages 83-102

    Herda, Mihai (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-92994-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-92993-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tests and Proofs
Book Subtitle
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Editors
  • Catherine Dubois
  • Burkhart Wolff
Series Title
Programming and Software Engineering
Series Volume
10889
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-92994-1
DOI
10.1007/978-3-319-92994-1
Softcover ISBN
978-3-319-92993-4
Edition Number
1
Number of Pages
XIV, 185
Number of Illustrations
48 b/w illustrations
Topics