{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:50:44Z","timestamp":1772041844092,"version":"3.50.1"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"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":["62102284"],"award-info":[{"award-number":["62102284"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872262"],"award-info":[{"award-number":["61872262"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["Tier 1 21-SIS-SMU-033"],"award-info":[{"award-number":["Tier 1 21-SIS-SMU-033"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["T1-251RES1901"],"award-info":[{"award-number":["T1-251RES1901"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["Tier 2 MOE2019-T2-1-040"],"award-info":[{"award-number":["Tier 2 MOE2019-T2-1-040"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["T2EP20120-0019"],"award-info":[{"award-number":["T2EP20120-0019"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["Tier 3 MOET32020-0004"],"award-info":[{"award-number":["Tier 3 MOET32020-0004"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,3,1]]},"DOI":"10.1109\/tse.2022.3168373","type":"journal-article","created":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T19:35:39Z","timestamp":1650396939000},"page":"947-961","source":"Crossref","is-referenced-by-count":9,"title":["Demystifying Performance Regressions in String Solvers"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7375-9152","authenticated-orcid":false,"given":"Yao","family":"Zhang","sequence":"first","affiliation":[{"name":"College of Intelligence and Computing, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaofei","family":"Xie","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8208","authenticated-orcid":false,"given":"Yi","family":"Li","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8255-0118","authenticated-orcid":false,"given":"Yun","family":"Lin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9477-4100","authenticated-orcid":false,"given":"Sen","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Intelligence and Computing, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7300-9215","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0752-6764","authenticated-orcid":false,"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[{"name":"College of Intelligence and Computing, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref2","first-page":"171","article-title":"CVC4","volume-title":"Proc. Comput. Aided Verification - 23rd Int. Conf.","author":"Barrett"},{"key":"ref3","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. USENIX Symp. Oper. Syst. Des. Implementation","author":"Cadar"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/b978-044450813-3\/50026-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814301"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0247-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3428260"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385985"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409763"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238218"},{"key":"ref19","first-page":"10 338","article-title":"Learning to solve SMT formulas","volume-title":"Proc. Int. Conf. Neural Inf. Process. Syst.","author":"Balunovic"},{"key":"ref20","first-page":"1","article-title":"Neuro-symbolic execution: Augmenting symbolic execution with neural constraints","volume-title":"Proc. Netw. Distrib. Syst. Secur. Symp.","author":"Shen"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102241"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660372"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227198"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2017.6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2389836.2389853"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11564096_42"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27645-3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1613\/jair.301"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S0927-0507(05)80172-0","article-title":"Markov decision processes","volume":"2","author":"Puterman","year":"1990","journal-title":"Handbooks Operations Res. Manage. Sci."},{"key":"ref34","first-page":"2249","article-title":"An empirical evaluation of thompson sampling","volume-title":"Proc. Adv. Neural Informat. Process. Syst.","author":"Chapelle"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74048-3_4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v031.i07"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v031.i07"},{"key":"ref38","article-title":"Fighting regressions with git bisect","author":"Couder","year":"2008"},{"key":"ref40","article-title":"FuzzSMT","author":"Brummayer","year":"2009"},{"key":"ref41","first-page":"1459","article-title":"Automatically testing string solvers","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Bugariu"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3428261"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3485529"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468540"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464803"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792604"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180198"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771784"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080769"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.9"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.72"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.45"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1572"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227144"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635921"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786878"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2685614"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.47"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.40"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606565"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318946"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08245-5_11"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3358960.3375791"},{"key":"ref66","first-page":"611","article-title":"Identifying software performance changes across variants and versions","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"M\u00fchlbauer"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568232"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10070338\/09760153.pdf?arnumber=9760153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T21:02:31Z","timestamp":1705957351000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9760153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":64,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3168373","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,1]]}}}