{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T12:58:32Z","timestamp":1760014712007,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/csmr-wcre.2014.6747227","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T21:03:45Z","timestamp":1394226225000},"page":"74-83","source":"Crossref","is-referenced-by-count":6,"title":["Detecting infeasible branches based on code patterns"],"prefix":"10.1109","author":[{"given":"Sun","family":"Ding","sequence":"first","affiliation":[]},{"given":"Hongyu","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Hee","family":"Beng Kuan Tan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2012","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1201\/9780849332517"},{"key":"18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/1095430.1081742","article-title":"Joining dataflow with predicates","volume":"30","author":"fischer","year":"2005","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233487"},{"key":"16","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1145\/267896.267921","article-title":"Refining data flow information using infeasible paths","volume":"22","author":"bodic","year":"1997","journal-title":"SIGSOFT Softw Eng Notes"},{"year":"2013","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226319"},{"year":"2013","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"year":"2013","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"22","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1145\/1095430.1081754","article-title":"DynaMine finding common error patterns by mining software revision histories","volume":"30","author":"livshits","year":"2005","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.007"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.044"},{"key":"25","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"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/587059.587060"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"3","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":"2","article-title":"Pex white box test generation for NET","author":"tillmann","year":"2008","journal-title":"Proc of the 2nd International Conference on Tests and Proofs"},{"year":"2012","key":"1"},{"journal-title":"A Survivor's Guide to Java Program Analysis with Soot","year":"2008","author":"einarsson","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259055"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269970"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/367008.367022"},{"year":"2013","key":"4"},{"key":"9","first-page":"760","article-title":"Understanding integer overflow in c\/C++","author":"dietz","year":"2012","journal-title":"Proc of the 2001 International Conference on Software Engineering (ICSE)"},{"year":"2013","key":"8"}],"event":{"name":"2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE)","start":{"date-parts":[[2014,2,3]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2014,2,6]]}},"container-title":["2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736725\/6747152\/06747227.pdf?arnumber=6747227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T09:14:02Z","timestamp":1498122842000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6747227\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/csmr-wcre.2014.6747227","relation":{},"subject":[],"published":{"date-parts":[[2014,2]]}}}