{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:53Z","timestamp":1750219793949,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"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":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608976","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"41-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Family-based model checking of fMultiLTL properties"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3601-2631","authenticated-orcid":false,"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[{"name":"Mother Teresa University, Skopje, North Macedonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2296-8613","authenticated-orcid":false,"given":"Sami","family":"Lazreg","sequence":"additional","affiliation":[{"name":"SnT, University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8312-1358","authenticated-orcid":false,"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[{"name":"SnT, University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2287-8925","authenticated-orcid":false,"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"Universit\u00e9 catholique de Louvain, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"volume-title":"Principles of model checking","author":"Baier Christel","key":"e_1_3_2_1_2_1","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2491976"},{"key":"e_1_3_2_1_5_1","volume-title":"Smolka on the Occasion of His 65th Birthday (LNCS","volume":"125","author":"Ceska Milan","year":"2019","unstructured":"Milan Ceska , Christian Dehnert , Nils Jansen , Sebastian Junges , and Joost-Pieter Katoen . 2019 . Model Repair Revamped: On the Automated Synthesis of Markov Chains. In Essays Dedicated to Scott A . Smolka on the Occasion of His 65th Birthday (LNCS , Vol. 11500). Springer, 107-- 125 . https:\/\/doi.org\/10.1007\/978-3-030-31514-6_7 10.1007\/978-3-030-31514-6_7 Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen. 2019. Model Repair Revamped: On the Automated Synthesis of Markov Chains. In Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (LNCS, Vol. 11500). Springer, 107--125. https:\/\/doi.org\/10.1007\/978-3-030-31514-6_7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0432-4"},{"key":"e_1_3_2_1_7_1","volume-title":"Temporal Logics for Hyperproperties. In Principles of Security and Trust - Third International Conference, POST 2014, Proceedings (LNCS","volume":"284","author":"Clarkson Michael R.","year":"2014","unstructured":"Michael R. Clarkson , Bernd Finkbeiner , Masoud Koleini , Kristopher K. Micinski , Markus N. Rabe , and C\u00e9sar S\u00e1nchez . 2014 . Temporal Logics for Hyperproperties. In Principles of Security and Trust - Third International Conference, POST 2014, Proceedings (LNCS , Vol. 8414). Springer, 265-- 284 . https:\/\/doi.org\/10.1007\/978-3-642-54792-8_15 10.1007\/978-3-642-54792-8_15 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, and C\u00e9sar S\u00e1nchez. 2014. Temporal Logics for Hyperproperties. In Principles of Security and Trust - Third International Conference, POST 2014, Proceedings (LNCS, Vol. 8414). Springer, 265--284. https:\/\/doi.org\/10.1007\/978-3-642-54792-8_15"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","key":"e_1_3_2_1_14_1","unstructured":"Paul Clements and Linda Northrop . 2001. Software Product Lines: Practices and Patterns . Addison-Wesley . Paul Clements and Linda Northrop. 2001. Software Product Lines: Practices and Patterns. Addison-Wesley."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635919"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"e_1_3_2_1_18_1","volume-title":"14th International Conference, TACAS 2008. Proceedings (LNCS","volume":"340","author":"de Moura Leonardo Mendon\u00e7a","year":"2008","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner . 2008 . Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems , 14th International Conference, TACAS 2008. Proceedings (LNCS , Vol. 4963), C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer, 337-- 340 . https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24 10.1007\/978-3-540-78800-3_24 Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008. Proceedings (LNCS, Vol. 4963), C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer, 337--340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_19_1","volume-title":"SPIN 2016, Proceedings (LNCS","volume":"37","author":"Dimovski Aleksandar S.","year":"2016","unstructured":"Aleksandar S. Dimovski . 2016 . Symbolic Game Semantics for Model Checking Program Families. In Model Checking Software - 23nd International Symposium , SPIN 2016, Proceedings (LNCS , Vol. 9641). Springer, 19-- 37 . Aleksandar S. Dimovski. 2016. Symbolic Game Semantics for Model Checking Program Families. In Model Checking Software - 23nd International Symposium, SPIN 2016, Proceedings (LNCS, Vol. 9641). Springer, 19--37."},{"key":"e_1_3_2_1_20_1","volume-title":"FASE 2018, Proceedings (LNCS","volume":"318","author":"Dimovski Aleksandar S.","year":"2018","unstructured":"Aleksandar S. Dimovski . 2018 . Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL. In Fundamental Approaches to Software Engineering - 21st International Conference , FASE 2018, Proceedings (LNCS , Vol. 10802). Springer, 301-- 318 . Aleksandar S. Dimovski. 2018. Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL. In Fundamental Approaches to Software Engineering - 21st International Conference, FASE 2018, Proceedings (LNCS, Vol. 10802). Springer, 301--318."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.09.029"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00528-0"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486609.3487202"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507170"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2023.101206"},{"key":"e_1_3_2_1_26_1","volume-title":"Claus Brabrand, and Andrzej Wasowski.","author":"Dimovski Aleksandar S.","year":"2016","unstructured":"Aleksandar S. Dimovski , Ahmad Salim Al-Sibahi , Claus Brabrand, and Andrzej Wasowski. 2016 . Efficient family-based model checking via variability abstractions. STTT ( 2016). https:\/\/doi.org\/10.1007\/s10009-016-0425-2 10.1007\/s10009-016-0425-2 Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, and Andrzej Wasowski. 2016. Efficient family-based model checking via variability abstractions. STTT (2016). https:\/\/doi.org\/10.1007\/s10009-016-0425-2"},{"key":"e_1_3_2_1_27_1","volume-title":"35th European Conference on Object-Oriented Programming, ECOOP 2021 (LIPIcs","volume":"28","author":"Aleksandar","year":"2021","unstructured":"Aleksandar S. Dimovski and Sven Apel. 2021. Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation . In 35th European Conference on Object-Oriented Programming, ECOOP 2021 (LIPIcs , Vol. 194). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 14:1--14: 28 . https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2021 .14 10.4230\/LIPIcs.ECOOP.2021.14 Aleksandar S. Dimovski and Sven Apel. 2021. Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. In 35th European Conference on Object-Oriented Programming, ECOOP 2021 (LIPIcs, Vol. 194). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 14:1--14:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2021.14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102725"},{"key":"e_1_3_2_1_29_1","volume-title":"Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. In 29th European Conference on Object-Oriented Programming, ECOOP 2015 (LIPIcs","volume":"270","author":"Dimovski Aleksandar S.","year":"2015","unstructured":"Aleksandar S. Dimovski , Claus Brabrand , and Andrzej Wasowski . 2015 . Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. In 29th European Conference on Object-Oriented Programming, ECOOP 2015 (LIPIcs , Vol. 37). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 247-- 270 . https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2015.247 10.4230\/LIPIcs.ECOOP.2015.247 Aleksandar S. Dimovski, Claus Brabrand, and Andrzej Wasowski. 2015. Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. In 29th European Conference on Object-Oriented Programming, ECOOP 2015 (LIPIcs, Vol. 37). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 247--270. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2015.247"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.12.012"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-019-00479-y"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.06.011"},{"key":"e_1_3_2_1_33_1","volume-title":"Dimovski and Andrzej Wasowski","author":"Aleksandar","year":"2017","unstructured":"Aleksandar S. Dimovski and Andrzej Wasowski . 2017 . From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Tarsen on the Occasion of His 60th Birthday (LNCS , Vol. 10460). Springer, 249-- 268 . https:\/\/doi.org\/10.1007\/978-3-319-63121-9_13 10.1007\/978-3-319-63121-9_13 Aleksandar S. Dimovski and Andrzej Wasowski. 2017. From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Tarsen on the Occasion of His 60th Birthday (LNCS, Vol. 10460). Springer, 249--268. https:\/\/doi.org\/10.1007\/978-3-319-63121-9_13"},{"key":"e_1_3_2_1_34_1","volume-title":"FASE 2017, Proceedings (LNCS","volume":"423","author":"Aleksandar","unstructured":"Aleksandar S. Dimovski and Andrzej Wasowski. 2017. Variability-specific Abstraction Refinement for Family-Based Model Checking. In Fundamental Approaches to Software Engineering - 20th International Conference , FASE 2017, Proceedings (LNCS , Vol. 10202). 406-- 423 . https:\/\/doi.org\/10.1007\/978-3-662-54494-5_24 10.1007\/978-3-662-54494-5_24 Aleksandar S. Dimovski and Andrzej Wasowski. 2017. Variability-specific Abstraction Refinement for Family-Based Model Checking. In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Proceedings (LNCS, Vol. 10202). 406--423. https:\/\/doi.org\/10.1007\/978-3-662-54494-5_24"},{"key":"e_1_3_2_1_35_1","volume-title":"CAV 2015, Proceedings, Part I (LNCS","volume":"48","author":"Finkbeiner Bernd","year":"2015","unstructured":"Bernd Finkbeiner , Markus N. Rabe , and C\u00e9sar S\u00e1nchez . 2015 . Algorithms for Model Checking HyperLTL and HyperCTL ⁁. In Computer Aided Verification - 27th International Conference , CAV 2015, Proceedings, Part I (LNCS , Vol. 9206). Springer, 30-- 48 . https:\/\/doi.org\/10.1007\/978-3-319-21690-4_3 10.1007\/978-3-319-21690-4_3 Bernd Finkbeiner, Markus N. Rabe, and C\u00e9sar S\u00e1nchez. 2015. Algorithms for Model Checking HyperLTL and HyperCTL ⁁. In Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings, Part I (LNCS, Vol. 9206). Springer, 30--48. https:\/\/doi.org\/10.1007\/978-3-319-21690-4_3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"e_1_3_2_1_37_1","volume-title":"VMCAI 2021, Proceedings (LNCS","volume":"80","author":"Goudsmid Ohad","year":"2021","unstructured":"Ohad Goudsmid , Orna Grumberg , and Sarai Sheinvald . 2021 . Compositional Model Checking for Multi-properties. In Verification, Model Checking, and Abstract Interpretation - 22nd International Conference , VMCAI 2021, Proceedings (LNCS , Vol. 12597). Springer, 55-- 80 . https:\/\/doi.org\/10.1007\/978-3-030-67067-2_4 10.1007\/978-3-030-67067-2_4 Ohad Goudsmid, Orna Grumberg, and Sarai Sheinvald. 2021. Compositional Model Checking for Multi-properties. In Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings (LNCS, Vol. 12597). Springer, 55--80. https:\/\/doi.org\/10.1007\/978-3-030-67067-2_4"},{"volume-title":"The SPIN Model Checker - primer and reference manual","author":"Holzmann Gerard J.","key":"e_1_3_2_1_38_1","unstructured":"Gerard J. Holzmann . 2004. The SPIN Model Checker - primer and reference manual . Addison-Wesley . Gerard J. Holzmann. 2004. The SPIN Model Checker - primer and reference manual. Addison-Wesley."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2017\/1\/1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-d.1983.0001"},{"key":"e_1_3_2_1_43_1","volume-title":"10th International Symposium, SAS 2003, Proceedings (Lecture Notes in Computer Science","volume":"336","author":"McMillan Kenneth L.","year":"2003","unstructured":"Kenneth L. McMillan . 2003 . Craig Interpolation and Reachability Analysis. In Static Analysis , 10th International Symposium, SAS 2003, Proceedings (Lecture Notes in Computer Science , Vol. 2694). Springer, 336 . https:\/\/doi.org\/10.1007\/3-540-44898-5_18 10.1007\/3-540-44898-5_18 Kenneth L. McMillan. 2003. Craig Interpolation and Reachability Analysis. In Static Analysis, 10th International Symposium, SAS 2003, Proceedings (Lecture Notes in Computer Science, Vol. 2694). Springer, 336. https:\/\/doi.org\/10.1007\/3-540-44898-5_18"},{"volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl Klaus","key":"e_1_3_2_1_44_1","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank van der Linden . 2005. Software Product Line Engineering: Foundations, Principles and Techniques . Springer . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer."},{"key":"e_1_3_2_1_45_1","volume-title":"Independence From Obfuscation: A Semantic Framework for Dive. In 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006","author":"Pucella Riccardo","year":"2006","unstructured":"Riccardo Pucella and Fred B. Schneider . 2006 . Independence From Obfuscation: A Semantic Framework for Dive. In 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006 ). IEEE Computer Society, 230--241. https:\/\/doi.org\/10.1109\/CSFW. 2006 .15 10.1109\/CSFW.2006.15 Riccardo Pucella and Fred B. Schneider. 2006. Independence From Obfuscation: A Semantic Framework for Dive. In 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006). IEEE Computer Society, 230--241. https:\/\/doi.org\/10.1109\/CSFW.2006.15"},{"volume-title":"International Conference on Formal Methods in Computer-Aided Design, FMCAD '11","author":"Somenzi Fabio","key":"e_1_3_2_1_46_1","unstructured":"Fabio Somenzi and Aaron R. Bradley . 2011. IC3: where monolithic and incremental meet . In International Conference on Formal Methods in Computer-Aided Design, FMCAD '11 . FMCAD Inc., 3--8. http:\/\/dl.acm.org\/citation.cfm?id=2157657 Fabio Somenzi and Aaron R. Bradley. 2011. IC3: where monolithic and incremental meet. In International Conference on Formal Methods in Computer-Aided Design, FMCAD '11. FMCAD Inc., 3--8. http:\/\/dl.acm.org\/citation.cfm?id=2157657"},{"key":"e_1_3_2_1_47_1","volume-title":"FASE 2017, Proceedings (LNCS","volume":"405","author":"Beek Maurice H.","unstructured":"Maurice H. ter Beek , Erik P. de Vink , and Tim A. C. Willemse . 2017. Family-Based Model Checking with mCRL2. In Fundamental Approaches to Software Engineering - 20th International Conference , FASE 2017, Proceedings (LNCS , Vol. 10202). 387-- 405 . https:\/\/doi.org\/10.1007\/978-3-662-54494-5_23 10.1007\/978-3-662-54494-5_23 Maurice H. ter Beek, Erik P. de Vink, and Tim A. C. Willemse. 2017. Family-Based Model Checking with mCRL2. In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Proceedings (LNCS, Vol. 10202). 387--405. https:\/\/doi.org\/10.1007\/978-3-662-54494-5_23"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_49_1","volume-title":"12th International Symposium, SAS 2005, Proceedings (LNCS","volume":"367","author":"Terauchi Tachio","year":"2005","unstructured":"Tachio Terauchi and Alexander Aiken . 2005 . Secure Information Flow as a Safety Problem. In Static Analysis , 12th International Symposium, SAS 2005, Proceedings (LNCS , Vol. 3672), Chris Hankin and Igor Siveroni (Eds.). Springer, 352-- 367 . https:\/\/doi.org\/10.1007\/11547662_24 10.1007\/11547662_24 Tachio Terauchi and Alexander Aiken. 2005. Secure Information Flow as a Safety Problem. In Static Analysis, 12th International Symposium, SAS 2005, Proceedings (LNCS, Vol. 3672), Chris Hankin and Igor Siveroni (Eds.). Springer, 352--367. https:\/\/doi.org\/10.1007\/11547662_24"},{"volume-title":"Proceedings of the Symposium on Logic in Computer Science (LICS '86)","author":"Moshe","key":"e_1_3_2_1_50_1","unstructured":"Moshe Y. Vardi and Pierre Wolper. 1986. An Automata-Theoretic Approach to Automatic Program Verification . In Proceedings of the Symposium on Logic in Computer Science (LICS '86) . IEEE Computer Society, 332--344. Moshe Y. Vardi and Pierre Wolper. 1986. An Automata-Theoretic Approach to Automatic Program Verification. In Proceedings of the Symposium on Logic in Computer Science (LICS '86). IEEE Computer Society, 332--344."},{"key":"e_1_3_2_1_51_1","article-title":"Variability-Aware Static Analysis at Scale: An Empirical Study","volume":"27","author":"von Rhein Alexander","year":"2018","unstructured":"Alexander von Rhein , J\u00f6rg Liebig , Andreas Janker , Christian K\u00e4stner , and Sven Apel . 2018 . Variability-Aware Static Analysis at Scale: An Empirical Study . ACM Trans. Softw. Eng. Methodol. 27 , 4 (2018), 18:1--18:33. https:\/\/doi.org\/10.1145\/3280986 10.1145\/3280986 Alexander von Rhein, J\u00f6rg Liebig, Andreas Janker, Christian K\u00e4stner, and Sven Apel. 2018. Variability-Aware Static Analysis at Scale: An Empirical Study. ACM Trans. Softw. Eng. Methodol. 27, 4 (2018), 18:1--18:33. https:\/\/doi.org\/10.1145\/3280986","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.06.007"}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tokyo Japan","acronym":"SPLC '23"},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608976","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:04Z","timestamp":1750178284000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":52,"alternative-id":["10.1145\/3579027.3608976","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608976","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}