{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:42Z","timestamp":1761611322123},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2013,12,1]]},"DOI":"10.1093\/jigpal\/jzt006","type":"journal-article","created":{"date-parts":[[2013,3,24]],"date-time":"2013-03-24T00:23:32Z","timestamp":1364084612000},"page":"931-942","source":"Crossref","is-referenced-by-count":12,"title":["Model-based abductive reasoning in automated software testing"],"prefix":"10.1093","volume":"21","author":[{"given":"N.","family":"Angius","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,3,22]]},"reference":[{"key":"3_45507816","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s11023-011-9231-5","volume":"21","year":"2011","journal-title":"MINDS AND MACHINES"},{"key":"4_45507817","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s11023-007-9063-5","volume":"17","year":"2007","journal-title":"MINDS AND MACHINES"},{"key":"5_45507818","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2005.01.018","volume":"131","year":"2005","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"12_45507819","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/s11023-007-9060-8","volume":"17","year":"2007","journal-title":"MINDS AND MACHINES"},{"key":"13_45507820","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2008.109","volume":"25","year":"2008","journal-title":"SOFTWARE IEEE"},{"key":"14_45507821","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s11023-011-9234-2","volume":"21","year":"2011","journal-title":"MINDS AND MACHINES"},{"key":"15_25301809","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","year":"1969","journal-title":"Communications of the ACM","ISSN":"http:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"18_45507822","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/s100090050040","volume":"2","year":"2000","journal-title":"SOFTWARE TOOLS AND TECHNOLOGY TRANSFER"},{"key":"22_27313874","first-page":"219","volume":"9","year":"2004","journal-title":"FOUNDATION OF SCIENCE"},{"key":"26_45507823","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00485107","volume":"12","year":"1960","journal-title":"SYNTHSE"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/21\/6\/931\/2115915\/jzt006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T07:29:21Z","timestamp":1503473361000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzt006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,22]]},"references-count":10,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2013,11,23]]},"published-print":{"date-parts":[[2013,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzt006","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,22]]}}}