{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T05:02:12Z","timestamp":1779771732979,"version":"3.53.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032008275","type":"print"},{"value":"9783032008282","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:00:00Z","timestamp":1760659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:00:00Z","timestamp":1760659200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00828-2_9","type":"book-chapter","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T16:23:14Z","timestamp":1760631794000},"page":"143-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Random Resampling of\u00a0Training Data for\u00a0Effective Verification Strategy Prediction"],"prefix":"10.1007","author":[{"given":"Bharti","family":"Chimdyalwar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6104-9033","authenticated-orcid":false,"given":"Priyanka","family":"Darke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7527-7675","authenticated-orcid":false,"given":"Supratik","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,17]]},"reference":[{"key":"9_CR1","unstructured":"SV-COMP 2024 Results. https:\/\/sv-comp.sosy-lab.org\/2024\/results\/results-verified\/"},{"key":"9_CR2","unstructured":"SV-COMP 2025 Results. https:\/\/sv-comp.sosy-lab.org\/2025\/results\/results-verified\/"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Sampling Methods, chap. 4, pp. 89\u2013121. Wiley (2021)","DOI":"10.1002\/9781119671718.ch4"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Afzal, M., et al.: Veriabs: verification by abstraction and test generation. In: 34th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, 11\u201315 November 2019, pp. 1138\u20131141. IEEE (2019)","DOI":"10.1109\/ASE.2019.00121"},{"key":"9_CR5","unstructured":"Albalak, A., et al.: A survey on data selection for language models. arXiv preprint arXiv:2402.16827 (2024)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-030-99527-0_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2022","unstructured":"Beyer, D.: Progress on software verification: SV-COMP 2022. In: TACAS 2022. LNCS, vol. 13244, pp. 375\u2013402. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99527-0_20"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-030-03421-4_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"D Beyer","year":"2018","unstructured":"Beyer, D., Dangl, M.: Strategy selection for software verification based on boolean features. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 144\u2013159. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_11"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1007\/978-3-319-21690-4_42","volume-title":"Computer Aided Verification","author":"D Beyer","year":"2015","unstructured":"Beyer, D., Dangl, M., Wendler, P.: Boosting k-induction with continuously-refined invariants. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 622\u2013640. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_42"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","volume-title":"Computer Aided Verification","author":"D Beyer","year":"2011","unstructured":"Beyer, D., Keremoglu, M.E.: CPAchecker: a tool for configurable software verification. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 184\u2013190. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_16"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-319-19249-9_35","volume-title":"FM 2015: Formal Methods","author":"B Chimdyalwar","year":"2015","unstructured":"Chimdyalwar, B., Darke, P., Chavda, A., Vaghani, S., Chauhan, A.: Eliminating static analysis false positives using loop abstraction and bounded model checking. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 573\u2013576. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_35"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-030-72013-1_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Darke","year":"2021","unstructured":"Darke, P., Agrawal, S., Venkatesh, R.: VeriAbs: a tool for scalable verification by abstraction (competition contribution). In: TACAS 2021. LNCS, vol. 12652, pp. 458\u2013462. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_32"},{"key":"9_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/978-3-031-30820-8_41","volume-title":"TACAS 2023","author":"P Darke","year":"2023","unstructured":"Darke, P., Chimdyalwar, B., Agrawal, S., Kumar, S., Venkatesh, R., Chakraborty, S.: VeriAbsL: scalable verification by abstraction and strategy prediction (competition contribution). In: Sankaranarayanan, S., Sharygina, N. (eds.) TACAS 2023. LNCS, vol. 13994, pp. 588\u2013593. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30820-8_41"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Darke, P., Chimdyalwar, B., Alladawar, M., Sulakhe, S., Venkatesh, R., Chakraborty, S.: Learning strategies using boolean program metrics to verify industrial code. In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2024, Flagstaff, AZ, USA, 6\u201311 October 2024, pp. 719\u2013729 (2024)","DOI":"10.1109\/ICSME58944.2024.00076"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Darke, P., Chimdyalwar, B., Chauhan, A., Venkatesh, R.: Efficient safety proofs for industry-scale code using abstractions and bounded model checking. In: ICST 2017, pp. 468\u2013475 (2017)","DOI":"10.1109\/ICST.2017.53"},{"key":"9_CR15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-031-78709-6_3","volume-title":"Automated Technology for Verification and Analysis","author":"P Darke","year":"2025","unstructured":"Darke, P., Chimdyalwar, B., Venkatesh, R., Chakraborty, S.: The VeriAbs tool suite for code verification. In: Akshay, S., Niemetz, A., Sankaranarayanan, S. (eds.) ATVA 2024. LNCS, vol. 15054, pp. 42\u201364. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-78709-6_3"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Darke, P., Chimdyalwar, B., Venkatesh, R., Shrotri, U., Metta, R.: Over-approximating loops to prove properties using bounded model checking. In: DATE, pp. 1407\u20131412 (2015)","DOI":"10.7873\/DATE.2015.0245"},{"key":"9_CR17","unstructured":"Demyanova, Y., Pani, T., Veith, H., Zuleger, F.: Empirical software metrics for benchmarking of verification tools. In: Knoop, J., Zdun, U. (eds.) Software Engineering 2016, pp. 67\u201368. Gesellschaft f\u00fcr Informatik e.V, Bonn (2016)"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1002\/swf.41","volume":"2","author":"M Harman","year":"2001","unstructured":"Harman, M., Hierons, R.M.: An overview of program slicing. Softw. Focus 2(3), 85\u201392 (2001)","journal-title":"Softw. Focus"},{"key":"9_CR19","unstructured":"Japkowicz, N.: The class imbalance problem: Significance and strategies. In: Proceedings of the 2000 International Conference on Artificial Intelligence ICAI (2000)"},{"issue":"5","key":"9_CR20","doi-asserted-by":"publisher","first-page":"429","DOI":"10.3233\/IDA-2002-6504","volume":"6","author":"N Japkowicz","year":"2002","unstructured":"Japkowicz, N., Stephen, S.: The class imbalance problem: a systematic study. Intell. Data Anal. 6(5), 429\u2013449 (2002)","journal-title":"Intell. Data Anal."},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40537-019-0192-5","volume":"6","author":"JM Johnson","year":"2019","unstructured":"Johnson, J.M., Khoshgoftaar, T.M.: Survey on deep learning with class imbalance. J. Big Data 6(1), 1\u201354 (2019). https:\/\/doi.org\/10.1186\/s40537-019-0192-5","journal-title":"J. Big Data"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Khare, S., Saraswat, S., Kumar, S.: Static program analysis of large embedded code base: an experience. In: ISEC, pp. 99\u2013102 (2011)","DOI":"10.1145\/1953355.1953368"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-030-99527-0_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W Leeson","year":"2022","unstructured":"Leeson, W., Dwyer, M.B.: Graves-CPA: a graph-attention verifier selector (competition contribution). In: TACAS 2022. LNCS, vol. 13244, pp. 440\u2013445. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99527-0_28"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Leeson, W., Dwyer, M.B.: Algorithm selection for software verification using graph neural networks. ACM Trans. Softw. Eng. Methodol. (2023)","DOI":"10.1145\/3637225"},{"key":"9_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2022.109853","volume":"132","author":"P Mooijman","year":"2023","unstructured":"Mooijman, P., Catal, C., Tekinerdogan, B., Lommen, A., Blokland, M.: The effects of data balancing approaches: a case study. Appl. Soft Comput. 132, 109853 (2023)","journal-title":"Appl. Soft Comput."},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Richter, C., H\u00fcllermeier, E., Jakobs, M.-C., Wehrheim, H.: Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. (1), 153\u2013186 (2020). https:\/\/doi.org\/10.1007\/s10515-020-00270-x","DOI":"10.1007\/s10515-020-00270-x"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-030-17502-3_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Richter","year":"2019","unstructured":"Richter, C., Wehrheim, H.: PeSCo: predicting sequential combinations of verifiers. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 229\u2013233. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_19"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Richter, C., Wehrheim, H.: Attend and represent: a novel view on algorithm selection for software verification. In: ASE, pp. 1016\u20131028 (2020)","DOI":"10.1145\/3324884.3416633"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Tulsian, V., Kanade, A., Kumar, R., Lal, A., Nori, A.V.: MUX: algorithm selection for software model checkers. In: Devanbu, P.T., Kim, S., Pinzger, M. (eds.) 11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, 31 May\u20131 June 2014, Hyderabad, India, pp. 132\u2013141. ACM (2014)","DOI":"10.1145\/2597073.2597080"}],"container-title":["Lecture Notes in Computer Science","Engineering of Complex Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00828-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T04:05:54Z","timestamp":1779768354000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00828-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,17]]},"ISBN":["9783032008275","9783032008282"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00828-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,17]]},"assertion":[{"value":"17 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICECCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Engineering of Complex Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iceccs2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iceccs2025-hangzhou.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}