{"product_id":"tests-and-proofs-5th-international-conference-tap-2011-zurich-switzerland-june-30-july-1-2011-proceedings-9783642217678","title":"Tests and Proofs: 5th International Conference, Tap 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings","description":"\u003cp\u003e • Author(s): Martin Gogolla | Burkhart Wolff\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June\/July 2011.\u003c\/p\u003e\u003cp\u003eThe 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47600755736727,"sku":"9783642217678","price":5673.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642217678.webp?v=1775009785","url":"https:\/\/atlanticbooks.com\/products\/tests-and-proofs-5th-international-conference-tap-2011-zurich-switzerland-june-30-july-1-2011-proceedings-9783642217678","provider":"Atlantic Books","version":"1.0","type":"link"}