Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering)
Product details
| Management number | 236848949 | Release Date | 2026/07/10 | List Price | US$19.25 | Model Number | 236848949 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3319212141 |
|---|---|
| ISBN13 | 978-3319212142 |
| Edition | 2015th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.53 x 9.25 inches |
| Item Weight | 7.89 pounds |
| Print length | 228 pages |
| Publication date | July 1, 2015 |
Bestseller ranking
Superchargers
Customers who viewed this product also viewed
Cables & Accessories
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form