{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:50:17Z","timestamp":1743007817647,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031477041"},{"type":"electronic","value":"9783031477058"}],"license":[{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-47705-8_3","type":"book-chapter","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T09:02:24Z","timestamp":1699606944000},"page":"40-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["diffDP: Using Data Dependencies and\u00a0Properties in\u00a0Difference Verification with\u00a0Conditions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5890-4673","authenticated-orcid":false,"given":"Marie-Christine","family":"Jakobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9957-2444","authenticated-orcid":false,"given":"Tim","family":"Pollandt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,6]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Aquino, A., Bianchi, F.A., Chen, M., Denaro, G., Pezz\u00e8, M.: Reusing constraint proofs in program analysis. In: Proceedings of ISSTA, pp. 305\u2013315. ACM (2015). https:\/\/doi.org\/10.1145\/2771783.2771802","DOI":"10.1145\/2771783.2771802"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Arzt, S., Bodden, E.: Reviser: Efficiently updating IDE-\/IFDS-based data-flow analyses in response to incremental program changes. In: Proceedings of ICSE, pp. 288\u2013298. ACM (2014). https:\/\/doi.org\/10.1145\/2568225.2568243","DOI":"10.1145\/2568225.2568243"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Progress on software verification: SV-COMP 2022. In: Fisman, D., Rosu, G. (eds.) TACAS 2022. LNCS, vol. 13244. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99527-0_20","DOI":"10.1007\/978-3-030-99527-0_20"},{"key":"3_CR4","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":"3_CR5","doi-asserted-by":"publisher","unstructured":"Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: Proceedings of FSE, p. 57. ACM (2012). https:\/\/doi.org\/10.1145\/2393596.2393664","DOI":"10.1145\/2393596.2393664"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-030-58768-0_8","volume-title":"Software Engineering and Formal Methods","author":"D Beyer","year":"2020","unstructured":"Beyer, D., Jakobs, M.-C., Lemberger, T.: Difference verification with conditions. In: de Boer, F., Cerone, A. (eds.) SEFM 2020. LNCS, vol. 12310, pp. 133\u2013154. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58768-0_8"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Beyer, D., Jakobs, M., Lemberger, T., Wehrheim, H.: Reducer-based construction of conditional verifiers. In: Proceedings of ICSE, pp. 1182\u20131193. ACM (2018). https:\/\/doi.org\/10.1145\/3180155.3180259","DOI":"10.1145\/3180155.3180259"},{"key":"3_CR8","unstructured":"Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: Proceedings of FMCAD, pp. 189\u2013197. IEEE (2010). https:\/\/ieeexplore.ieee.org\/document\/5770949\/"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Beyer, D., L\u00f6we, S., Novikov, E., Stahlbauer, A., Wendler, P.: Precision reuse for efficient regression verification. In: Proceedings of FSE, pp. 389\u2013399. ACM (2013), https:\/\/doi.org\/10.1145\/2491411.2491429","DOI":"10.1145\/2491411.2491429"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-017-0469-y","volume":"21","author":"D Beyer","year":"2017","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: Requirements and solutions. Int. J. Softw. Tools Technol. Transfer 21(1), 1\u201329 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"B\u00f6hme, M., d. S. Oliveira, B.C., Roychoudhury, A.: Partition-based regression verification. In: Proceedings of ICSE, pp. 302\u2013311. IEEE (2013). https:\/\/doi.org\/10.1109\/ICSE.2013.6606576","DOI":"10.1109\/ICSE.2013.6606576"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"\u00c7elik, A., Palmskog, K., Gligoric, M.: iCoq: Regression proof selection for large-scale verification projects. In: Proceedings of ASE, pp. 171\u2013182. IEEE (2017). https:\/\/doi.org\/10.1109\/ASE.2017.8115630","DOI":"10.1109\/ASE.2017.8115630"},{"issue":"7","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"VV D\u2019Silva","year":"2008","unstructured":"D\u2019Silva, V.V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE TCAD 27(7), 1165\u20131178 (2008). https:\/\/doi.org\/10.1109\/TCAD.2008.923410","journal-title":"IEEE TCAD"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-030-17502-3_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"MR Gadelha","year":"2019","unstructured":"Gadelha, M.R., Monteiro, F., Cordeiro, L., Nicole, D.: ESBMC v6.0: Verifying C programs using k-induction and invariant inference. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 209\u2013213. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_15"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Godlin, B., Strichman, O.: Regression verification. In: Proceedings of DAC, pp. 466\u2013471. ACM (2009), https:\/\/doi.org\/10.1145\/1629911.1630034","DOI":"10.1145\/1629911.1630034"},{"issue":"4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1109\/TSE.2020.3021477","volume":"48","author":"F He","year":"2022","unstructured":"He, F., Yu, Q., Cai, L.: Efficient summary reuse for software regression verification. TSE 48(4), 1417\u20131431 (2022). https:\/\/doi.org\/10.1109\/TSE.2020.3021477","journal-title":"TSE"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Proceedings of POPL, pp. 58\u201370. ACM (2002). https:\/\/doi.org\/10.1145\/503272.503279","DOI":"10.1145\/503272.503279"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-540-39910-0_16","volume-title":"Verification: Theory and Practice","author":"TA Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sanvido, M.A.A.: Extreme model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 332\u2013358. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39910-0_16"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Jakobs, M.: PEQcheck: Localized and context-aware checking of functional equivalence. In: Proceedings of FormaliSE, pp. 130\u2013140. IEEE (2021). https:\/\/doi.org\/10.1109\/FormaliSE52586.2021.00019","DOI":"10.1109\/FormaliSE52586.2021.00019"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Jakobs, M.: Reusing predicate precision in value analysis. In: ter Beek, M.H., Monahan, R. (eds.) IFM 2022. LNCS, vol. 13274. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_5","DOI":"10.1007\/978-3-031-07727-2_5"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Jakobs, M.C., Pollandt, T.: Incorporating data dependencies and properties in difference verification with conditions (technical report). https:\/\/doi.org\/10.48550\/arXiv.2309.01585 CoRR abs\/ arXiv: 2309.01585 (2023)","DOI":"10.48550\/arXiv.2309.01585"},{"key":"3_CR22","doi-asserted-by":"publisher","unstructured":"Jakobs, M.C., Pollandt, T.: Replication package for article \u2018diffDP: using data dependencies and properties in difference verification with conditions. In: Proceedings of iFM 2023, Zenodo (2023). https:\/\/doi.org\/10.5281\/zenodo.8272913","DOI":"10.5281\/zenodo.8272913"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Jakobs, M.-C., Wiesner, M.: PEQtest: Testing functional equivalence. In: Johnsen, E.B., Wimmer, M. (eds.) FASE 2022. LNCS, vol. 13241. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_11","DOI":"10.1007\/978-3-030-99429-7_11"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Jana, A., Khadsare, A., Chimdyalwar, B., Kumar, S., Ghime, V., Venkatesh, R.: Fast change-based alarm reporting for evolving software systems. In: Proceedings of ISSRE, pp. 546\u2013556. IEEE (2021). https:\/\/doi.org\/10.1109\/ISSRE52982.2021.00062","DOI":"10.1109\/ISSRE52982.2021.00062"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Jhala, R., Majumdar, R.: Software model checking. ACM CSUR 41(4), 21:1\u201321:54 (2009). https:\/\/doi.org\/10.1145\/1592434.1592438","DOI":"10.1145\/1592434.1592438"},{"key":"3_CR26","doi-asserted-by":"publisher","unstructured":"Jin, W., Orso, A., Xie, T.: Automated behavioral regression testing. In: Proceedings of ICST, pp. 137\u2013146. IEEE (2010). https:\/\/doi.org\/10.1109\/ICST.2010.64","DOI":"10.1109\/ICST.2010.64"},{"key":"3_CR27","unstructured":"Kawaguchi, M., Lahiri, S.K., Rebelo, H.: Conditional equivalence. Tech. Rep. MSR-TR-2010-119, Microsoft Research (2010). https:\/\/www.microsoft.com\/en-us\/research\/publication\/conditional-equivalence\/"},{"key":"3_CR28","doi-asserted-by":"publisher","unstructured":"Lauterburg, S., Sobeih, A., Marinov, D., Viswanathan, M.: Incremental state-space exploration for programs with dynamically allocated data. In: Proceedings of ICSE, pp. 291\u2013300. ACM (2008), https:\/\/doi.org\/10.1145\/1368088.1368128","DOI":"10.1145\/1368088.1368128"},{"key":"3_CR29","doi-asserted-by":"publisher","unstructured":"Legunsen, O., Zhang, Y., Hadzi-Tanovic, M., Rosu, G., Marinov, D.: Techniques for evolution-aware runtime verification. In: Proceedingd of ICST, pp. 300\u2013311. IEEE (2019). https:\/\/doi.org\/10.1109\/ICST.2019.00037","DOI":"10.1109\/ICST.2019.00037"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-21690-4_22","volume-title":"Computer Aided Verification","author":"KRM Leino","year":"2015","unstructured":"Leino, K.R.M., W\u00fcstholz, V.: Fine-grained caching of verification results. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 380\u2013397. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_22"},{"key":"3_CR31","doi-asserted-by":"publisher","unstructured":"Palikareva, H., Kuchta, T., Cadar, C.: Shadow of a doubt: Testing for divergences between software versions. In: Proceedings of ICSE, pp. 1181\u20131192. ACM (2016). https:\/\/doi.org\/10.1145\/2884781.2884845","DOI":"10.1145\/2884781.2884845"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-38856-9_14","volume-title":"Static Analysis","author":"N Partush","year":"2013","unstructured":"Partush, N., Yahav, E.: Abstract semantic differencing for numerical programs. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 238\u2013258. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38856-9_14"},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"Partush, N., Yahav, E.: Abstract semantic differencing via speculative correlation. In: Proceedings of OOPSLA, pp. 811\u2013828. ACM (2014). https:\/\/doi.org\/10.1145\/2660193.2660245","DOI":"10.1145\/2660193.2660245"},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Person, S., Dwyer, M.B., Elbaum, S.G., Pasareanu, C.S.: Differential symbolic execution. In: Proceedings of FSE, pp. 226\u2013237. ACM (2008). https:\/\/doi.org\/10.1145\/1453101.1453131","DOI":"10.1145\/1453101.1453131"},{"key":"3_CR35","doi-asserted-by":"publisher","unstructured":"Person, S., Yang, G., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. In: Proceedings of PLDI, pp. 504\u2013515. ACM (2011). https:\/\/doi.org\/10.1145\/1993498.1993558","DOI":"10.1145\/1993498.1993558"},{"key":"3_CR36","doi-asserted-by":"publisher","unstructured":"der Plas, J.V., Sti\u00e9venart, Q., Es, N.V., Roover, C.D.: Incremental flow analysis through computational dependency reification. In: Proceedings of SCAM, pp. 25\u201336. IEEE (2020). https:\/\/doi.org\/10.1109\/SCAM51674.2020.00008","DOI":"10.1109\/SCAM51674.2020.00008"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-319-99725-4_22","volume-title":"Static Analysis","author":"B-C Rothenberg","year":"2018","unstructured":"Rothenberg, B.-C., Dietsch, D., Heizmann, M.: Incremental verification using trace abstraction. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 364\u2013382. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_22"},{"key":"3_CR38","doi-asserted-by":"publisher","unstructured":"Rungta, N., Person, S., Branchaud, J.: A change impact analysis to characterize evolving program behaviors. In: Proceedings of ICSM, pp. 109\u2013118. IEEE (2012). https:\/\/doi.org\/10.1109\/ICSM.2012.6405261","DOI":"10.1109\/ICSM.2012.6405261"},{"key":"3_CR39","unstructured":"Sery, O., Fedyukovich, G., Sharygina, N.: Incremental upgrade checking by means of interpolation-based function summaries. In: Proceedings of FMCAD, pp. 114\u2013121. IEEE (2012). http:\/\/ieeexplore.ieee.org\/document\/6462563\/"},{"key":"3_CR40","doi-asserted-by":"publisher","unstructured":"Szab\u00f3, T., Erdweg, S., Voelter, M.: IncA: A DSL for the definition of incremental program analyses. In: Proceedings of ASE, pp. 320\u2013331. ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970298","DOI":"10.1145\/2970276.2970298"},{"key":"3_CR41","doi-asserted-by":"publisher","unstructured":"Taneja, K., Xie, T., Tillmann, N., de Halleux, J.: eXpress: Guided path exploration for efficient regression test generation. In: Proceedings of ISSTA, pp. 1\u201311. ACM (2011). https:\/\/doi.org\/10.1145\/2001420.2001422","DOI":"10.1145\/2001420.2001422"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-319-66706-5_20","volume-title":"Static Analysis","author":"A Trostanetski","year":"2017","unstructured":"Trostanetski, A., Grumberg, O., Kroening, D.: Modular demand-driven analysis of semantic difference for program versions. In: Ranzato, F. (ed.) SAS 2017. LNCS, vol. 10422, pp. 405\u2013427. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66706-5_20"},{"key":"3_CR43","doi-asserted-by":"publisher","unstructured":"Visser, W., Geldenhuys, J., Dwyer, M.B.: Green: Reducing, reusing, and recycling constraints in program analysis. In: Proceedings of FSE, pp. 58:1\u201358:11. ACM (2012). https:\/\/doi.org\/10.1145\/2393596.2393665","DOI":"10.1145\/2393596.2393665"},{"key":"3_CR44","doi-asserted-by":"publisher","unstructured":"Weiser, M.: Program slicing. TSE SE 10(4), 352\u2013357 (1984). https:\/\/doi.org\/10.1109\/TSE.1984.5010248","DOI":"10.1109\/TSE.1984.5010248"},{"key":"3_CR45","doi-asserted-by":"publisher","unstructured":"Yang, G., Dwyer, M.B., Rothermel, G.: Regression model checking. In: Proceedings of ICSM, pp. 115\u2013124. IEEE (2009). https:\/\/doi.org\/10.1109\/ICSM.2009.5306334","DOI":"10.1109\/ICSM.2009.5306334"},{"key":"3_CR46","doi-asserted-by":"publisher","unstructured":"Yang, G., P\u0103s\u0103reanu, C.S., Khurshid, S.: Memoized symbolic execution. In: Proceedings of ISSTA, pp. 144\u2013154. ACM (2012). https:\/\/doi.org\/10.1145\/2338965.2336771","DOI":"10.1145\/2338965.2336771"},{"issue":"2","key":"3_CR47","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stvr.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: A survey. STVR 22(2), 67\u2013120 (2012). https:\/\/doi.org\/10.1002\/stvr.430","journal-title":"STVR"},{"key":"3_CR48","doi-asserted-by":"publisher","unstructured":"Yu, Q., He, F., Wang, B.: Incremental predicate analysis for regression verification. TOPLAS 4(OOPSLA), 184:1\u2013184:25 (2020). https:\/\/doi.org\/10.1145\/3428252","DOI":"10.1145\/3428252"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47705-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T14:51:34Z","timestamp":1713451894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47705-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,6]]},"ISBN":["9783031477041","9783031477058"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47705-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,6]]},"assertion":[{"value":"6 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"iFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leiden","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/liacs.leidenuniv.nl\/~bonsanguemm\/ifm23\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"51","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}