Articles liés à Tests and Proofs: 10th International Conference, TAP...

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Couverture souple

 
9783319411347: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Couverture souple
ISBN 10 : 3319411349 ISBN 13 : 9783319411347
Editeur : Springer, 2016

Synopsis

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2016
Langue
anglais
ISBN 10 
3319411349
ISBN 13 
9783319411347
Reliure
Broché
Numéro d'édition
1
Nombre de pages
216
Éditeur
Aichernig Bernhard K., Furia Carlo A.
Coordonnées du fabricant
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Allemagne