{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T02:05:54Z","timestamp":1722909954887},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2003.1254387","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"source":"Crossref","is-referenced-by-count":2,"title":["Testing criteria for data flow software"],"prefix":"10.1109","author":[{"family":"Thanh Binh Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Delaunay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Robach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"249","article-title":"Testing techniques for dataflow synchronous programs","author":"ouabdesselam","year":"1995","journal-title":"Automated and Algorithmic Debugging"},{"key":"ref11","author":"petrick","year":"1956","journal-title":"A direct determination of the irredundant forms of a Boolean function from the set of prime implicants"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"ref13","first-page":"68","author":"robach","year":"1984","journal-title":"Cata A computer-test analysis system"},{"key":"ref14","author":"traon","year":"1997","journal-title":"Analyse conjointe logiciel-matériel de la testabilité de systèmes flots de donnèes"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1995.529901"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1997.637169"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178251"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113451"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224259"},{"key":"ref3","first-page":"390","article-title":"Mutation analysis as a tool for software qualityassurance","author":"demilio","year":"1980","journal-title":"Proc Compsac 80"},{"key":"ref6","article-title":"A formal evaluation of mutation and data flow based test adequacy criteria","author":"mathur","year":"1994","journal-title":"Proceedings of 1994 ACM Computer Science Conference (CSC'94)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/356651.356652"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2002.1167799"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155119"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341380"}],"event":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","location":"Chiang Mai, Thailand"},"container-title":["Tenth Asia-Pacific Software Engineering Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8883\/28061\/01254387.pdf?arnumber=1254387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:41:20Z","timestamp":1489437680000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/apsec.2003.1254387","relation":{},"subject":[]}}