Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2018년
6월 18일
언어
EN
영어
길이
199
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3.7
MB
Software Engineering and Formal Methods
2017년
Software Engineering and Formal Methods
2015년
Testing Software and Systems
2019년
Structured Object-Oriented Formal Language and Method
2020년
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Tools and Methods of Program Analysis
2017년