{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T17:29:34Z","timestamp":1751390974195},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/icst.2009.15","type":"proceedings-article","created":{"date-parts":[[2009,4,17]],"date-time":"2009-04-17T22:23:59Z","timestamp":1240007039000},"page":"240-249","source":"Crossref","is-referenced-by-count":12,"title":["Pruning the Search Space in Path-Based Test Generation"],"prefix":"10.1109","author":[{"given":"S\u00e9bastien","family":"Bardin","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Herrmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226319"},{"key":"17","article-title":"a theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation","author":"harman","year":"0","journal-title":"In ISSTA 2007"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287647"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802270"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.109"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.35"},{"journal-title":"Decision Procedures An Algorithmic Point of View","year":"2008","author":"kroening","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"24","article-title":"automated systematic testing of open distributed programs","author":"sen","year":"0","journal-title":"In FASE 2006"},{"key":"25","article-title":"cute: a concolic unit testing engine for c","author":"sen","year":"0","journal-title":"ESEC\/FSE 2005"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273478"},{"key":"27","article-title":"pex-white box test generation for net","author":"tillmann","year":"0","journal-title":"In TAP 2008"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342749"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_29"},{"key":"3","article-title":"jpf-se: a symbolic execution extension to java path finder","author":"anand","year":"0","journal-title":"In TACAS 2007"},{"key":"2","article-title":"symbolic execution with abstract subsumption checking","author":"anand","year":"0","journal-title":"In SPIN 2006"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181790"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"6","article-title":"execution generated test cases: how to make systems code crash itself","author":"cadar","year":"0","journal-title":"In SPIN 2005"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"9","article-title":"inka: ten years after the first ideas","author":"gotlieb","year":"0","journal-title":"In ICSSEA 2006"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"}],"event":{"name":"2009 International Conference on Software Testing Verification and Validation (ICST)","start":{"date-parts":[[2009,4,1]]},"location":"Denver, CO, USA","end":{"date-parts":[[2009,4,4]]}},"container-title":["2009 International Conference on Software Testing Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4815321\/4815322\/04815356.pdf?arnumber=4815356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T14:50:03Z","timestamp":1489762203000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4815356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":29,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1109\/icst.2009.15","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}