{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:40Z","timestamp":1763467600197,"version":"3.38.0"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1109\/tse.2003.1245299","type":"journal-article","created":{"date-parts":[[2003,11,20]],"date-time":"2003-11-20T23:29:22Z","timestamp":1069370962000},"page":"974-984","source":"Crossref","is-referenced-by-count":98,"title":["Using spanning sets for coverage testing"],"prefix":"10.1109","volume":"29","author":[{"given":"M.","family":"Marre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Bertolino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.175935"},{"volume-title":"The Design and Analysis of Computer Algorithms.","year":"1974","author":"Aho","key":"ref2"},{"year":"2003","key":"ref3","article-title":"Aristotle Analysis System Download"},{"volume-title":"Test Driven Development: By Example.","year":"2002","author":"Beck","key":"ref4"},{"volume-title":"Software Testing Techniques","year":"1990","author":"Beizer","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90004-H"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.368137"},{"article-title":"A General Path Generation Algorithm for Coverage Testing","volume-title":"Proc. Int\u2019l Quality Week","author":"Bertolino","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(95)00089-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(97)00061-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233196"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370030104"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152391"},{"volume-title":"Flow Analysis of Computer Programs.","year":"1977","author":"Hecht","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/icse.1996.493443"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226312"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493443"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738487"},{"article-title":"On Mutation and Data Flow, A Thesis","year":"1993","author":"Wong","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225018"},{"volume-title":"Introductory Statistics","year":"1990","author":"Wonnacott","key":"ref25"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/27901\/01245299.pdf?arnumber=1245299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:00:44Z","timestamp":1742097644000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":25,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2003,11]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1245299","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}