{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T17:29:41Z","timestamp":1751390981635},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/iwast.2009.5069043","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T10:56:15Z","timestamp":1244631375000},"page":"70-78","source":"Crossref","is-referenced-by-count":33,"title":["Automating structural testing of C programs: Experience with PathCrawler"],"prefix":"10.1109","author":[{"given":"Bernard","family":"Botella","sequence":"first","affiliation":[]},{"given":"Mickael","family":"Delahaye","sequence":"additional","affiliation":[]},{"given":"Stephane","family":"Hong-Tuan-Ha","sequence":"additional","affiliation":[]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[]},{"given":"Patricia","family":"Mouy","sequence":"additional","affiliation":[]},{"given":"Muriel","family":"Roger","sequence":"additional","affiliation":[]},{"given":"Nicky","family":"Williams","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Foundations of Software Testing","year":"2008","author":"mathur","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873667"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.25"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"14","article-title":"inka: ten years after the first ideas","author":"gotlieb","year":"2006","journal-title":"ICSSEA'06"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"21","first-page":"524","article-title":"solving constraints over floating-point numbers","author":"michel","year":"2001","journal-title":"CP'01"},{"key":"20","first-page":"73","article-title":"elkhound: a fast, practical glr parser generator","author":"mcpeak","year":"2004","journal-title":"CC Volume 2985 of Lecture Notes in Computer Science"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.35"},{"journal-title":"The Art of Software Testing","year":"1979","author":"myers","key":"24"},{"key":"25","article-title":"cil: intermediate language and tools for analysis and transformation of c programs","author":"necula","year":"2002","journal-title":"CC'02"},{"key":"26","article-title":"jcute: automated testing of multithreaded programs using race-detection and flipping","author":"sen","year":"2006","journal-title":"Technical Report UIUCDCS-R-2006-2676"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"28","first-page":"133","article-title":"white box test generation for. net.","author":"tillmann","year":"2008","journal-title":"TAP'08 Volume 4966 of LNCS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"journal-title":"CSTVA'06","year":"2006","author":"blanc","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190226"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.8"},{"key":"30","article-title":"wcet measurement using modified path testing","author":"williams","year":"2005","journal-title":"WCET'05"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/566172.566191","article-title":"korat: automated testing based on java predicates","author":"boyapati","year":"2002","journal-title":"ISSTA'02"},{"key":"32","first-page":"281","article-title":"pathcrawler: automatic generation of path tests by combining static and dynamic analysis","author":"williams","year":"2005","journal-title":"EDCC'05"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.333"},{"key":"31","first-page":"290","article-title":"on-the-fly generation of k-paths tests for c functions: towards the automation of grey-box testing","author":"williams","year":"2004","journal-title":"ASE'04"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"8","first-page":"182","article-title":"exploration of the capabilities of constraint programming for software verification","author":"collavizza","year":"2006","journal-title":"TACAS'06"}],"event":{"name":"2009 ICSE Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 ICSE Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061534\/5069024\/05069043.pdf?arnumber=5069043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:53:20Z","timestamp":1497804800000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069043\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/iwast.2009.5069043","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}