{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T12:12:05Z","timestamp":1714997525175},"reference-count":21,"publisher":"CRC Press","isbn-type":[{"value":"9781420059779","type":"print"},{"value":"9781420059786","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044233","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:09:12Z","timestamp":1469718552000},"page":"1200-1210","source":"Crossref","is-referenced-by-count":2,"title":["Test Case Generation: Specification-Based"],"prefix":"10.1081","author":[{"given":"Man Fai","family":"Lau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuen Tak","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pak-Lok","family":"Poon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"key":"CIT0001","volume-title":"The Art of Software Testing","author":"Myers G. J.","year":"1979"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.221"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072998"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214323"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/32.536956"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630406"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/32.83906"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/32.368132"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/32.485221"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00028-0"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370030203"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194000000353"},{"key":"CIT0018","first-page":"268","volume-title":"Proceedings of First International Symposium of Formal Methods Europe","author":"Dick J."},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1145\/1010925.1010935"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.08.016"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:19:41Z","timestamp":1469719181000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":21,"alternative-id":["10.1081\/E-ESE-120044233","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044233","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}