{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:30:49Z","timestamp":1729611049867,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/snpd.2014.6888718","type":"proceedings-article","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T18:39:23Z","timestamp":1409769563000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Test image generation using segmental symbolic evaluation for unit testing"],"prefix":"10.1109","author":[{"given":"Tahir","family":"Jameel","sequence":"first","affiliation":[]},{"given":"Mengxiang","family":"Lin","sequence":"additional","affiliation":[]},{"given":"He","family":"Li","sequence":"additional","affiliation":[]},{"given":"Xiaomei","family":"Hou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.18"},{"key":"2","first-page":"68","article-title":"Exhaustive testing as a verification technique","volume":"2","author":"knight","year":"1892","journal-title":"Submitted to the International Symposium on Software Testing and Analysis 1996 J Clerk Maxwell A Treatise on Electricity and Magnetism"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25379-9_12"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"5","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/174146.154262","article-title":"STATEMATE applied to statistical software testing","volume":"18","author":"pascale","year":"1993","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"}],"event":{"name":"2014 15th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)","start":{"date-parts":[[2014,6,30]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2014,7,2]]}},"container-title":["15th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6877792\/6888665\/06888718.pdf?arnumber=6888718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T19:51:16Z","timestamp":1498161076000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6888718\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/snpd.2014.6888718","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}