{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:25:02Z","timestamp":1768163102363,"version":"3.49.0"},"reference-count":75,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"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":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678761","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"330-342","source":"Crossref","is-referenced-by-count":6,"title":["SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools"],"prefix":"10.1109","author":[{"given":"Ugur","family":"Koc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austin","family":"Mordahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiyi","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam A.","family":"Porter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.37"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.5586124"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24854-5_71"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.5586548"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2837759"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3197978"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277173"},{"key":"ref33","first-page":"2093","author":"glover","year":"1998","journal-title":"Tabu Search"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768499"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4380-9_7"},{"key":"ref30","article-title":"Results of the competition","year":"2018"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251061"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/2.294849"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/0470018860.s00015"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00113"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1689"},{"key":"ref64","first-page":"277","article-title":"Sampling effect on performance prediction of configurable systems: A case study","author":"pereira","year":"0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-017-0225-2"},{"key":"ref29","article-title":"Results of the competition","year":"2019"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2870895"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106238"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814309"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_23"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32469-7_14"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-319-96145-3_10","article-title":"JBMC: A bounded model checking tool for verifying Java bytecode","volume":"10981","author":"cordeiro","year":"2018","journal-title":"Computer Aided Verification (CAV) ser LNCS"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_50"},{"key":"ref24","article-title":"Cbmc, understanding loop unwinding","year":"2014"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.408"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00036"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.54"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9573-6"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1984.10478083"},{"key":"ref57","article-title":"T. J. Watson Libraries for Analysis (WALA)","year":"2006"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref55","first-page":"1269","author":"frank","year":"2010","journal-title":"Weka A Machine Learning Workbench for Data Mining"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1080\/00437956.1954.11659520"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_19"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2597073.2597080"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2856-1_100"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3121257.3121262"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0264-5"},{"key":"ref14","article-title":"Satzilla2012: Improved algorithm selection based on cost-sensitive classification models","volume":"2012","author":"xu","year":"2012","journal-title":"Proceedings of SAT Challenge"},{"key":"ref15","article-title":"Satzilla: An algorithm portfolio for sat","volume":"2004","author":"nudelman","year":"2004","journal-title":"Solver description SAT competition"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","article-title":"Scaling java points-to analysis using spark","author":"lhot\u00e1k","year":"2003","journal-title":"Proc of the Int Conf on Compiler Construction"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_9"},{"key":"ref19","first-page":"389","article-title":"Cbmc – c bounded model checker","author":"kroening","year":"2014","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786852"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03421-4_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3133924"},{"key":"ref8","first-page":"712","article-title":"Adaptive context-sensitive analysis for javascript","author":"wei","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3088525.3088675"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236041"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_34"},{"key":"ref45","first-page":"21","author":"neumann","year":"2010","journal-title":"Stochastic Search Algorithms"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786849"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00348700","article-title":"Boltzmann’s probability distribution of 1877","volume":"41","author":"bach","year":"1990","journal-title":"Archive for History of Exact Sciences"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2011.09.020"},{"key":"ref41","author":"stardom","year":"2001","journal-title":"Metaheuristics and the Search for Covering and Packing Arrays"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/34.295910"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7744-1"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Melbourne, Australia","start":{"date-parts":[[2021,11,15]]},"end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678761.pdf?arnumber=9678761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T22:47:37Z","timestamp":1674514057000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678761\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":75,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678761","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}