{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:59Z","timestamp":1772164079010,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1319187, 1528133, 1618158"],"award-info":[{"award-number":["1319187, 1528133, 1618158"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Google Faculty Research Award"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062383","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"306-319","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Achieving high coverage for floating-point code via unconstrained programming"],"prefix":"10.1145","author":[{"given":"Zhoulai","family":"Fu","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AFL\n  : American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/ afl\/. Retrieved: 01 Novermber 2016.  AFL: American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/ afl\/. Retrieved: 01 Novermber 2016."},{"key":"e_1_3_2_1_2_1","volume-title":"a C language family frontend for LLVM. http: \/\/clang.llvm.org\/. Retrieved","author":"Clang","year":"2016","unstructured":"Clang : a C language family frontend for LLVM. http: \/\/clang.llvm.org\/. Retrieved : 24 March 2016 . Clang: a C language family frontend for LLVM. http: \/\/clang.llvm.org\/. Retrieved: 24 March 2016."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/docs.oracle.com\/ javase\/8\/docs\/api\/java\/lang\/StrictMath.html. Retrieved: 09 Novermber","author":"Class","year":"2016","unstructured":"Class StrictMath of Java SE 8. https:\/\/docs.oracle.com\/ javase\/8\/docs\/api\/java\/lang\/StrictMath.html. Retrieved: 09 Novermber , 2016 . Class StrictMath of Java SE 8. https:\/\/docs.oracle.com\/ javase\/8\/docs\/api\/java\/lang\/StrictMath.html. Retrieved: 09 Novermber, 2016."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/github.com\/ mrash\/afl-cov. Retrieved: 01 Novermber","author":"Code","year":"2016","unstructured":"Code coverage analysis tool for AFL. https:\/\/github.com\/ mrash\/afl-cov. Retrieved: 01 Novermber , 2016 . Code coverage analysis tool for AFL. https:\/\/github.com\/ mrash\/afl-cov. Retrieved: 01 Novermber, 2016."},{"key":"e_1_3_2_1_5_1","unstructured":"An extended version of this paper. https:\/\/arxiv.org\/pdf\/ 1704.03394.  An extended version of this paper. https:\/\/arxiv.org\/pdf\/ 1704.03394."},{"key":"e_1_3_2_1_6_1","unstructured":"Fdlibm: Freely Distributed Math Library. http:\/\/www. netlib.org\/fdlibm\/. Retrieved: 01 Nov 2016.  Fdlibm: Freely Distributed Math Library. http:\/\/www. netlib.org\/fdlibm\/. Retrieved: 01 Nov 2016."},{"key":"e_1_3_2_1_7_1","volume-title":"GNU compiler collection tool. https:\/\/gcc.gnu.org\/ onlinedocs\/gcc\/Gcov.html\/. Retrieved","author":"Gcov","year":"2016","unstructured":"Gcov : GNU compiler collection tool. https:\/\/gcc.gnu.org\/ onlinedocs\/gcc\/Gcov.html\/. Retrieved : 24 March 2016 . Gcov: GNU compiler collection tool. https:\/\/gcc.gnu.org\/ onlinedocs\/gcc\/Gcov.html\/. Retrieved: 24 March 2016."},{"key":"e_1_3_2_1_8_1","volume-title":"http:\/\/www.mail-archive.com\/ klee-dev@imperial.ac.uk\/msg02334.html. Retrieved: 09 Novermber","year":"2016","unstructured":"klee-dev mailing list. http:\/\/www.mail-archive.com\/ klee-dev@imperial.ac.uk\/msg02334.html. Retrieved: 09 Novermber , 2016 . klee-dev mailing list. http:\/\/www.mail-archive.com\/ klee-dev@imperial.ac.uk\/msg02334.html. Retrieved: 09 Novermber, 2016."},{"key":"e_1_3_2_1_9_1","volume-title":"http:\/\/llvm.org\/docs\/doxygen\/ html\/classllvm_1_1Pass.html. Retrieved","year":"2016","unstructured":"llvm::pass class reference. http:\/\/llvm.org\/docs\/doxygen\/ html\/classllvm_1_1Pass.html. Retrieved : 24 March 2016 . llvm::pass class reference. http:\/\/llvm.org\/docs\/doxygen\/ html\/classllvm_1_1Pass.html. Retrieved: 24 March 2016."},{"key":"e_1_3_2_1_10_1","volume-title":"http:\/\/docs.scipy.org\/doc\/ scipy-dev\/reference\/optimize.html. Retrieved","author":"Scipy","year":"2016","unstructured":"Scipy optimization package. http:\/\/docs.scipy.org\/doc\/ scipy-dev\/reference\/optimize.html. Retrieved : 24 March 2016 . Scipy optimization package. http:\/\/docs.scipy.org\/doc\/ scipy-dev\/reference\/optimize.html. Retrieved: 24 March 2016."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020281327116"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100119"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717752.1717758"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_16_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . Klee : Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908 , pages 209\u2013 224 , Berkeley, CA, USA , 2008 . Cristian Cadar, Daniel Dunbar, and Dawson Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908, pages 209\u2013224, Berkeley, CA, USA, 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966475"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971200","volume-title":"Numerical methods for unconstrained optimization and nonlinear equations","author":"Dennis John E","year":"1996","unstructured":"John E Dennis Jr and Robert B Schnabel . Numerical methods for unconstrained optimization and nonlinear equations , volume 16 . 1996 . John E Dennis Jr and Robert B Schnabel. Numerical methods for unconstrained optimization and nonlinear equations, volume 16. 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/153390.153393"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/226155.226158"},{"key":"e_1_3_2_1_22_1","first-page":"531","volume-title":"International Conference on Computer Aided Verification","author":"Ganesh Vijay","unstructured":"Vijay Ganesh and David L Dill . A decision procedure for bitvectors and arrays . In International Conference on Computer Aided Verification , pages 519\u2013 531 . Springer, 2007. Vijay Ganesh and David L Dill. A decision procedure for bitvectors and arrays. In International Conference on Computer Aided Verification, pages 519\u2013531. Springer, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.03.009"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.026"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928039"},{"key":"e_1_3_2_1_29_1","first-page":"363","article-title":"Global optimization by basin-hopping and the lowest energy structures of lennard-jones clusters containing up to 110 atoms","volume":"56","author":"Leitner DM","year":"1997","unstructured":"DM Leitner , C Chakravarty , RJ Hinde , and DJ Wales . Global optimization by basin-hopping and the lowest energy structures of lennard-jones clusters containing up to 110 atoms . Phys. Rev. E , 56 : 363 , 1997 . DM Leitner, C Chakravarty, RJ Hinde, and DJ Wales. Global optimization by basin-hopping and the lowest energy structures of lennard-jones clusters containing up to 110 atoms. Phys. Rev. E, 56:363, 1997.","journal-title":"Phys. Rev. E"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.84.19.6611"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"e_1_3_2_1_33_1","volume-title":"The art of software testing","author":"Myers Glenford J.","year":"2004","unstructured":"Glenford J. Myers . The art of software testing ( 2 nd ed.). pages I\u2013XV, 1\u2013234, 2004 . Glenford J. Myers. The art of software testing (2nd ed.). pages I\u2013XV, 1\u2013234, 2004.","edition":"2"},{"key":"e_1_3_2_1_34_1","volume-title":"Numerical Optimization","author":"Nocedal Jorge","year":"2006","unstructured":"Jorge Nocedal and Stephen J. Wright . Numerical Optimization . 2006 . Jorge Nocedal and Stephen J. Wright. Numerical Optimization. 2006."},{"key":"e_1_3_2_1_35_1","first-page":"68","volume-title":"Computer Aided Verification","author":"Palikareva Hristina","unstructured":"Hristina Palikareva and Cristian Cadar . Multi-solver support in symbolic execution . In Computer Aided Verification , pages 53\u2013 68 . Springer, 2013. Hristina Palikareva and Cristian Cadar. Multi-solver support in symbolic execution. In Computer Aided Verification, pages 53\u201368. Springer, 2013."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986333"},{"key":"e_1_3_2_1_37_1","volume-title":"Numerical Recipes","author":"Press William H.","year":"2007","unstructured":"William H. Press , Saul A. Teukolsky , William T. Vetterling , and Brian P. Flannery . Numerical Recipes 3 rd Edition: The Art of Scientific Computing. New York, NY, USA , 2007 . William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. Numerical Recipes 3rd Edition: The Art of Scientific Computing. New York, NY, USA, 2007.","edition":"3"},{"key":"e_1_3_2_1_38_1","first-page":"407","volume-title":"A stochastic approximation method. The annals of mathematical statistics","author":"Robbins Herbert","year":"1951","unstructured":"Herbert Robbins and Sutton Monro . A stochastic approximation method. The annals of mathematical statistics , pages 400\u2013 407 , 1951 . Herbert Robbins and Sutton Monro. A stochastic approximation method. The annals of mathematical statistics, pages 400\u2013407, 1951."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_40_1","volume-title":"A survey on software testing techniques using genetic algorithm. arXiv:1411.1154","author":"Sharma Chayanika","year":"2014","unstructured":"Chayanika Sharma , Sangeeta Sabharwal , and Ritu Sibal . A survey on software testing techniques using genetic algorithm. arXiv:1411.1154 , 2014 . Chayanika Sharma, Sangeeta Sabharwal, and Ritu Sibal. A survey on software testing techniques using genetic algorithm. arXiv:1411.1154, 2014."},{"key":"e_1_3_2_1_41_1","volume-title":"Bitblaze: Binary analysis for computer security","author":"Song Dawn","year":"2013","unstructured":"Dawn Song , D Brumley , H Yin , J Caballero , I Jager , MG Kang , Z Liang , J Newsome , P Poosankam , and P Saxena . Bitblaze: Binary analysis for computer security , 2013 . Dawn Song, D Brumley, H Yin, J Caballero, I Jager, MG Kang, Z Liang, J Newsome, P Poosankam, and P Saxena. Bitblaze: Binary analysis for computer security, 2013."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"e_1_3_2_1_44_1","volume-title":"North-Holland","author":"Zoutendijk G.","year":"1976","unstructured":"G. Zoutendijk . Mathematical programming methods . North-Holland , Amsterdam , 1976 . G. Zoutendijk. Mathematical programming methods. North-Holland, Amsterdam, 1976."}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062383","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062383","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":44,"alternative-id":["10.1145\/3062341.3062383","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062383","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062383","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}