{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:52:43Z","timestamp":1762955563083,"version":"3.37.3"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91218301","U1301254","91418205","61472318","61428206","61532015"],"award-info":[{"award-number":["91218301","U1301254","91418205","61472318","61428206","61532015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004806","name":"Fok Ying-Tong Education Foundation","doi-asserted-by":"publisher","award":["151067"],"award-info":[{"award-number":["151067"]}],"id":[{"id":"10.13039\/501100004806","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Research Program of China","award":["2013BAK09B01"],"award-info":[{"award-number":["2013BAK09B01"]}]},{"name":"Ministry of Education Innovation Research Team","award":["IRT13035"],"award-info":[{"award-number":["IRT13035"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"US National Science Foundation","doi-asserted-by":"publisher","award":["CF-1500365"],"award-info":[{"award-number":["CF-1500365"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,3,1]]},"DOI":"10.1109\/tse.2016.2584063","type":"journal-article","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T00:14:16Z","timestamp":1466640856000},"page":"252-271","source":"Crossref","is-referenced-by-count":40,"title":["Dependence Guided Symbolic Execution"],"prefix":"10.1109","volume":"43","author":[{"given":"Haijun","family":"Wang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7600-0934","authenticated-orcid":false,"given":"Ting","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Xiaohong","family":"Guan","sequence":"additional","affiliation":[]},{"given":"Chao","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Qinghua","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1145\/1831708.1831715"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1145\/1831708.1831734"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/2635868.2635872"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/2635868.2635889"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-3-642-20398-5_26"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ICSE.2013.6606649"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1145\/2211616.2211622"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/2642937.2642987","article-title":"Automating regression verification","author":"felsing","year":"2014","journal-title":"Proc ACM\/IEEE Int Conf Autom Softw Eng"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/ICSE.2013.6606576"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/2642937.2642951","article-title":"Targeted test input generation using symbolic-concrete backward execution","author":"dinges","year":"2014","journal-title":"Proc ACM\/IEEE Int Conf Autom Softw Eng"},{"doi-asserted-by":"publisher","key":"ref60","DOI":"10.1109\/ASE.2008.32"},{"doi-asserted-by":"publisher","key":"ref62","DOI":"10.1002\/stvr.308"},{"doi-asserted-by":"publisher","key":"ref61","DOI":"10.1109\/ICST.2015.7102601"},{"doi-asserted-by":"publisher","key":"ref63","DOI":"10.1145\/1062455.1062530"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/2491411.2491456"},{"doi-asserted-by":"publisher","key":"ref64","DOI":"10.1109\/32.153381"},{"key":"ref27","first-page":"34","article-title":"Symbolic execution with mixed concrete-symbolic solving","author":"p?s?reanu","year":"2011","journal-title":"Proc Int'l Symp on Softw Testing and Analysis"},{"doi-asserted-by":"publisher","key":"ref65","DOI":"10.1109\/ICST.2014.12"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1145\/1108792.1108817"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/360248.360252"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/800191.805647"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/1882291.1882330"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/2001420.2001422"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/2786805.2786830"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/2568225.2568319"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/2491411.2491430"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/978-3-319-17524-9_23"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/2786805.2786841"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1145\/1275497.1275502"},{"doi-asserted-by":"publisher","key":"ref51","DOI":"10.1109\/ICSM.2012.6405261"},{"key":"ref59","first-page":"151","article-title":"Automated whitebox fuzz testing","volume":"8","author":"godefroid","year":"2008","journal-title":"Proc Symp Network and Distributed System Security"},{"doi-asserted-by":"publisher","key":"ref58","DOI":"10.1002\/stvr.1486"},{"key":"ref57","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura and","year":"2008","journal-title":"Proc Theory Practice Softw 14th Int Conf Tools Algorithms Constr Anal Syst"},{"year":"2014","key":"ref56"},{"doi-asserted-by":"publisher","key":"ref55","DOI":"10.1002\/stvr.1501"},{"key":"ref54","article-title":"Soot—A Java bytecode optimization framework","author":"vall\u00e9e-rai","year":"1999","journal-title":"Proc Conf Centre Adv Stud Collaborat Res"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1145\/199448.199462"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1007\/3-540-44905-1_18"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ICSE.1994.296778"},{"key":"ref11","first-page":"223","article-title":"Reducing test cases with causality partitions","author":"wang","year":"2014","journal-title":"Proc Int Conf on Software Eng Knowledge Eng"},{"key":"ref40","first-page":"281","article-title":"DySy: Dynamic symbolic execution for invariant inference","author":"csallner","year":"2008","journal-title":"Proc 30th Int'l Conf Software Eng"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/s10009-008-0090-1"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/1190216.1190226"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-3-540-78800-3_28"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/2629536"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/1831708.1831733"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/1831708.1831732"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/2384616.2384654"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","article-title":"DART: Directed automated random testing","volume":"40","author":"godefroid","year":"2005","journal-title":"ACM SIGPLAN Not"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","article-title":"Cute: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"Proc 10th Eur Softw Eng Conf Held Jointly 13th ACM SIGSOFT Int Symp Found Softw Eng"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1858996.1859035"},{"key":"ref5","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"Proc 8th USENIX Conf Oper Syst Des Implementation"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1985793.1985995"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"p?s?reanu","year":"2009","journal-title":"Int J Softw Tools Technol Transfer"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1007\/3-540-48166-4_19"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/2522920.2522925"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1145\/1985793.1985971"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1145\/2786805.2786842"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1016\/j.scico.2007.01.015"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1145\/2483760.2483778"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1145\/1882291.1882319"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1145\/2610384.2610389"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1109\/ICSE.2015.80"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1109\/ICSE.2015.46"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/32\/7876879\/7497518-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7876879\/07497518.pdf?arnumber=7497518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T01:57:20Z","timestamp":1656727040000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,1]]},"references-count":65,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2584063","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2017,3,1]]}}}