{"product_id":"test-wizard-nicole-greber-9783836417020","title":"Test Wizard","description":"The project is based on the benefits of Design by Contract on testing. If contracts - preconditions, postconditions, class invariants - are systematically associated with classes, they provide an invaluable source of information for producing systematic tests, directly based on the software's expressly intended semantics. The goal of this project is to develop a tool called \"Test Wizard\", which generates test cases automatically from contract-equipped classes. The Test Wizard will serve as a workbench to try out different testing strategies.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Nicole Greber\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3836417022\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783836417020\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e VDM Verlag Dr. Mueller E.K.\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/16\/2007\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 108\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.41lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.61h x 6.69w x 0.22d","brand":"Nicole Greber","offers":[{"title":"Paperback","offer_id":47611883258111,"sku":"9783836417020","price":45.36,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_422ff475-5fee-45b3-8001-a004535ed5ba.jpg?v=1764516709","url":"https:\/\/www.whiterainbookhouse.com\/products\/test-wizard-nicole-greber-9783836417020","provider":"WR Book House","version":"1.0","type":"link"}