{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:37:56Z","timestamp":1725770276475},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/tase.2009.10","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T16:19:17Z","timestamp":1250007557000},"page":"155-162","source":"Crossref","is-referenced-by-count":13,"title":["Test Data Generation for Derived Types in C Program"],"prefix":"10.1109","author":[{"given":"Zheng","family":"Wang","sequence":"first","affiliation":[]},{"given":"Xiao","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[]},{"given":"JueLiang","family":"Hu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"15","first-page":"365","article-title":"symstra: a framework for generating object-oriented unit tests using symbolic execution","author":"xie","year":"2005","journal-title":"TACAS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"year":"0","key":"13","article-title":"lp solve"},{"year":"0","key":"14"},{"journal-title":"Scalable path search for automated test case generation","year":"0","author":"wang","key":"11"},{"year":"0","key":"12"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"3"},{"year":"2004","key":"2"},{"year":"2003","key":"1"},{"journal-title":"Cute A concolic unit testing engine for c and java","year":"0","author":"sen","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"journal-title":"Caut Automated test case generation with program analysis and scalable path search","year":"0","author":"pu","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"}],"event":{"name":"2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2009,7,29]]},"location":"Tianjin, China","end":{"date-parts":[[2009,7,31]]}},"container-title":["2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5198469\/5198470\/05198498.pdf?arnumber=5198498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T13:09:03Z","timestamp":1489756143000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5198498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/tase.2009.10","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}