{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:46:01Z","timestamp":1732034761698},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,12,1]]},"DOI":"10.1093\/logcom\/ext071","type":"journal-article","created":{"date-parts":[[2013,11,28]],"date-time":"2013-11-28T22:36:01Z","timestamp":1385678161000},"page":"1263-1283","source":"Crossref","is-referenced-by-count":6,"title":["Efficient generation of test data structures using constraint logic programming and program transformation"],"prefix":"10.1093","volume":"25","author":[{"given":"F.","family":"Fioravanti","sequence":"first","affiliation":[]},{"given":"M.","family":"Proietti","sequence":"additional","affiliation":[]},{"given":"V.","family":"Senni","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,11,28]]},"reference":[{"key":"4_46994065","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","year":"1994","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"5_46994066","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1145\/1780.1781","volume":"6","year":"1984","journal-title":"ACM TOPLAS"},{"key":"6_46994068","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0743-1066(89)90033-2","volume":"6","year":"1989","journal-title":"JOURNAL OF LOGIC PROGRAMMING"},{"key":"7_46994069","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","year":"1977","journal-title":"JOURNAL OF THE ACM"},{"key":"8_46994070","doi-asserted-by":"crossref","first-page":"1755","DOI":"10.1016\/j.jss.2009.06.029","volume":"82","year":"2009","journal-title":"JOURNAL OF SYSTEMS AND SOFTWARE"},{"key":"9_46994071","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/TSE.2005.52","volume":"31","year":"2005","journal-title":"IEEE TRANSACTIONS ON SOFTWARE ENGINEERING"},{"key":"12_46994072","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","year":"1991","journal-title":"IEEE TRANSACTIONS ON SOFTWARE ENGINEERING"},{"key":"13_46994073","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0304-3975(95)00148-4","volume":"166","year":"1996","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"15_46994074","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1017\/S1471068411000627","volume":"13","year":"2013","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"21_46994075","first-page":"659","volume":"10","year":"2010","journal-title":"TPLP"},{"key":"23_46994076","first-page":"1","volume":"41","year":"2011","journal-title":"ACM COMPUTING SURVEYS"},{"key":"25_46994077","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1017\/S147106840200145X","volume":"2","year":"2002","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"29_46994078","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","year":"2001","journal-title":"SOFTWARE TESTING VERIFICATION AND RELIABILITY"},{"key":"32_46994079","first-page":"1","volume":"43","year":"2011","journal-title":"ACM COMPUTING SURVEYS"},{"key":"33_46994080","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0304-3975(94)00227-A","volume":"142","year":"1995","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"37_46994081","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","year":"2012","journal-title":"SOFTWARE TESTING VERIFICATION AND RELIABILITY"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/6\/1263\/7950076\/ext071.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T22:18:15Z","timestamp":1503613095000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,28]]},"references-count":16,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2015,11,18]]},"published-print":{"date-parts":[[2015,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext071","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,28]]}}}