{"product_id":"tests-and-proofs-von-undefined-3","title":"Tests and Proofs","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319212142\"\u003e\u003ch3\u003e9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319212142","offer_id":40592988602461,"sku":"9783319212142","price":51.36,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1d772a88-3139-48b6-b144-e8c6d90eb9e0.jpg?v=1773554419","url":"https:\/\/shop.autorenwelt.de\/en\/products\/tests-and-proofs-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}