{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:16Z","timestamp":1750308616582,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,2,26]],"date-time":"2017-02-26T00:00:00Z","timestamp":1488067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,2,26]]},"DOI":"10.1145\/3056662.3056672","type":"proceedings-article","created":{"date-parts":[[2017,5,1]],"date-time":"2017-05-01T15:09:30Z","timestamp":1493651370000},"page":"154-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing constraint based test generation by local search"],"prefix":"10.1145","author":[{"given":"Mengxiang","family":"Lin","sequence":"first","affiliation":[{"name":"Beihang University, China"}]},{"given":"Xiaomei","family":"Hou","sequence":"additional","affiliation":[{"name":"Beihang University, China"}]},{"given":"Rui","family":"Liu","sequence":"additional","affiliation":[{"name":"Beihang University, China"}]},{"given":"Linyan","family":"Ge","sequence":"additional","affiliation":[{"name":"Wuhan University, China"}]}],"member":"320","published-online":{"date-parts":[[2017,2,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_3_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI)","author":"Cadar C.","year":"2008","unstructured":"C. Cadar ,D.D.,D. E. : KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI) , pp. 209 -- 224 , 2008 . C. Cadar,D.D.,D.E.: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI), pp.209--224, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970364"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966475"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069044"},{"key":"e_1_3_2_1_7_1","first-page":"34","volume-title":"Neha Rungta and Willem Visser: Symbolic Execution with Mixed Concrete-Symbolic Solving. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis","author":"P\u0103s\u0103reanu Corina S.","year":"2011","unstructured":"Corina S. P\u0103s\u0103reanu , Neha Rungta and Willem Visser: Symbolic Execution with Mixed Concrete-Symbolic Solving. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis , pp. 34 -- 44 , ACM ( 2011 ). Corina S. P\u0103s\u0103reanu, Neha Rungta and Willem Visser: Symbolic Execution with Mixed Concrete-Symbolic Solving. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis, pp.34--44, ACM (2011)."},{"issue":"8","key":"e_1_3_2_1_8_1","first-page":"870","article-title":"Automated Software Test Data Generation. Software Engineering","volume":"16","author":"B.","year":"1990","unstructured":"Korel, B. : Automated Software Test Data Generation. Software Engineering , IEEE Transactions on 16 ( 8 ), pp. 870 -- 879 , 1990 . Korel, B.: Automated Software Test Data Generation. Software Engineering, IEEE Transactions on 16(8), pp.870--879,1990.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"e_1_3_2_1_11_1","unstructured":"LLVM Compiler Infrastructure http:\/\/llvm:org\/  LLVM Compiler Infrastructure http:\/\/llvm:org\/"},{"key":"e_1_3_2_1_12_1","first-page":"142","volume-title":"M. Harman and Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. Proceedings of the 25th IFIP International Conference on Testing Software and Systems","author":"Lakhotia K.","year":"2010","unstructured":"K. Lakhotia , N. Tillmann , M. Harman and Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. Proceedings of the 25th IFIP International Conference on Testing Software and Systems , pp. 142 -- 157 , Springer ( 2010 ). K. Lakhotia, N. Tillmann, M. Harman and Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. Proceedings of the 25th IFIP International Conference on Testing Software and Systems, pp.142--157, Springer (2010)."},{"key":"e_1_3_2_1_13_1","unstructured":"GNU Scientific Library http:\/\/www:gnu:org\/software\/gsl  GNU Scientific Library http:\/\/www:gnu:org\/software\/gsl"},{"key":"e_1_3_2_1_14_1","volume-title":"Numerical computing method and C language function library","author":"Yang","year":"1996","unstructured":"Yang H., Wang H. : Numerical computing method and C language function library . Science Press ,( 1996 ) Yang H., Wang H.: Numerical computing method and C language function library. Science Press,(1996)"},{"key":"e_1_3_2_1_15_1","first-page":"310","volume-title":"Verification and Validation Workshops","author":"Erete I.","year":"2011","unstructured":"I. Erete , and A. Orso : Optimizing constraint solving to better support symbolic execution. Software Testing , Verification and Validation Workshops , pp. 310 -- 315 , IEEE( 2011 ). I. Erete, and A. Orso: Optimizing constraint solving to better support symbolic execution. Software Testing, Verification and Validation Workshops, pp.310--315, IEEE(2011)."},{"key":"e_1_3_2_1_16_1","first-page":"111","volume-title":"Corina S. P\u0103s\u0103reanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. Software Testing, Verification and Validation","author":"Borges M.","year":"2012","unstructured":"M. Borges , M. Amorim , S. Anand , D. Bushnell , Corina S. P\u0103s\u0103reanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. Software Testing, Verification and Validation , pp. 111 -- 120 , IEEE( 2012 ). M. Borges, M. Amorim, S.Anand, D. Bushnell, Corina S. P\u0103s\u0103reanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. Software Testing, Verification and Validation, pp.111--120, IEEE(2012)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.17"}],"event":{"name":"ICSCA 2017: 2017 6th International Conference on Software and Computer Applications","acronym":"ICSCA 2017","location":"Bangkok Thailand"},"container-title":["Proceedings of the 6th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3056662.3056672","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3056662.3056672","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:31Z","timestamp":1750273651000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3056662.3056672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,26]]},"references-count":17,"alternative-id":["10.1145\/3056662.3056672","10.1145\/3056662"],"URL":"https:\/\/doi.org\/10.1145\/3056662.3056672","relation":{},"subject":[],"published":{"date-parts":[[2017,2,26]]},"assertion":[{"value":"2017-02-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}