{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:40:33Z","timestamp":1729618833804,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/coase.2019.8843039","type":"proceedings-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:08:11Z","timestamp":1568938091000},"page":"1724-1729","source":"Crossref","is-referenced-by-count":0,"title":["InSPeCT: Iterated Local Search for Solving Path Conditions"],"prefix":"10.1109","author":[{"given":"Fuxiang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aldy","family":"Gunawan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sunghun","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393636"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48056-5_11"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1002\/9780470496916","author":"talbi","year":"2009","journal-title":"Metaheuristics From Design to Implementation"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970364"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7744-1_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030559"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00093-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.009"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2016.09.045"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-007-9149-x"},{"key":"ref19","first-page":"760","article-title":"Particle swarm optimization","author":"kennedy","year":"2011","journal-title":"Encyclopedia of Machine Learning"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"ref4","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":"OSDI"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_26"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786830"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6089-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000024059.72478.4e"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref1","article-title":"The economic impacts of inadequate infrastructure for software testing","volume":"7007","author":"tassey","year":"2002","journal-title":"National Institute of Standards and Technology RTI Project"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008202821328"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_34"},{"key":"ref21","first-page":"169","article-title":"Firefly algorithms for multimodal optimization","author":"yang","year":"2009","journal-title":"5th International Symposium on Stochastic Algorithms"},{"journal-title":"Z3prover github repository issue","year":"2017","key":"ref24"},{"key":"ref23","first-page":"1","article-title":"The yices SMT solver","volume":"2","author":"dutertre","year":"2006","journal-title":"Tool paper at http \/\/yices csl sri com\/tool-paper pdf"},{"key":"ref26","first-page":"2286","article-title":"Derivative-free optimization via classification","author":"yu","year":"2016","journal-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence ser AAAI&#x2019; 16"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635889"}],"event":{"name":"2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2019,8,22]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,8,26]]}},"container-title":["2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8827189\/8842826\/08843039.pdf?arnumber=8843039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,20]],"date-time":"2023-09-20T14:29:24Z","timestamp":1695220164000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8843039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/coase.2019.8843039","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}