{"product_id":"tests-and-proofs-martin-gogolla-9783642217678","title":"Tests and Proofs: 5th International Conference, Tap 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings","description":"\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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Martin Gogolla\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642217672\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642217678\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/22\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 205\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.75lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.20w x 0.50d","brand":"Martin Gogolla","offers":[{"title":"Paperback","offer_id":48486990741759,"sku":"9783642217678","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_f6ea4dd9-9ba1-40a6-9ccc-340ba2e89245.jpg?v=1778057618","url":"https:\/\/www.whiterainbookhouse.com\/products\/tests-and-proofs-martin-gogolla-9783642217678","provider":"WR Book House","version":"1.0","type":"link"}