{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:09:43Z","timestamp":1748578183430,"version":"3.41.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/ast.2015.21","type":"proceedings-article","created":{"date-parts":[[2015,7,27]],"date-time":"2015-07-27T21:14:13Z","timestamp":1438031653000},"page":"65-69","source":"Crossref","is-referenced-by-count":0,"title":["Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths"],"prefix":"10.1109","author":[{"given":"Sun","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hee Beng","family":"Kuan Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lwin Khin","family":"Shar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-79124-9_10","article-title":"Pex: white box test generation for. NET","author":"tillmann","year":"2008","journal-title":"the Proceedings of the 2nd international conference on Tests and proofs"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","article-title":"CUTE: a concolic unit testing engine for C","volume":"30","author":"sen","year":"2005","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.IR.5737","author":"poole","year":"1995","journal-title":"Method to Determine a Basis Set of Paths to Perform Program Testing"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45422-6_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896435"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491512"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/j.infsof.2007.06.006","article-title":"Heuristics-based infeasible path detection for dynamic test data generation","volume":"50","author":"ngo","year":"2008","journal-title":"Inf Softw Technol"},{"year":"2015","key":"ref7","article-title":"Sourceforge"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747227"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/267896.267921"}],"event":{"name":"2015 IEEE\/ACM 10th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2015,5,23]]},"location":"Florence","end":{"date-parts":[[2015,5,24]]}},"container-title":["2015 IEEE\/ACM 10th International Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7164999\/7166248\/07166270.pdf?arnumber=7166270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T19:15:54Z","timestamp":1748546154000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/7166270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":11,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/ast.2015.21","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}