{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:22:58Z","timestamp":1756894978350,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3503229.3547032","type":"proceedings-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:15:43Z","timestamp":1661465743000},"page":"54-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["ddueruem"],"prefix":"10.1145","author":[{"given":"Tobias","family":"He\u00df","sequence":"first","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chico","family":"Sundermann","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"volume-title":"Feature Model Differences","author":"Acher Mathieu","key":"e_1_3_2_1_1_1","unstructured":"Mathieu Acher, Patrick Heymans, Philippe Collet, Cl\u00e9ment Quinton, Philippe Lahire, and Philippe Merle. 2012. Feature Model Differences. In CAiSE. Springer, 629--645."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461002.3473070"},{"volume-title":"SAT (LNCS)","author":"Achlioptas Dimitris","key":"e_1_3_2_1_3_1","unstructured":"Dimitris Achlioptas, Zayd S. Hammoudeh, and Panos Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In SAT (LNCS). Springer, Berlin, Heidelberg, 135--147."},{"key":"e_1_3_2_1_4_1","volume-title":"FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134.","author":"Benavides David","year":"2007","unstructured":"David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2007. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134."},{"key":"e_1_3_2_1_5_1","volume-title":"Graph-Based Algorithms for Boolean Function Manipulation. TC C-35, 8","author":"Bryant Randal E.","year":"1986","unstructured":"Randal E. Bryant. 1986. Graph-Based Algorithms for Boolean Function Manipulation. TC C-35, 8 (1986), 677--691."},{"volume-title":"On Parallel Scalable Uniform SAT Witness Generation","author":"Chakraborty Supratik","key":"e_1_3_2_1_6_1","unstructured":"Supratik Chakraborty, Daniel J Fremont, Kuldeep S Meel, Sanjit A Seshia, and Moshe Y Vardi. 2015. On Parallel Scalable Uniform SAT Witness Generation. In TACAS. Springer, 304--319."},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"Balancing Scalability and Uniformity in SAT Witness Generator. In DAC. ACM, New York","volume":"60","author":"Chakraborty Supratik","year":"2014","unstructured":"Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi. 2014. Balancing Scalability and Uniformity in SAT Witness Generator. In DAC. ACM, New York, NY, USA, 60:1--60:6.","journal-title":"NY, USA"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.989"},{"volume-title":"ICSE","author":"Dutra Rafael","key":"e_1_3_2_1_9_1","unstructured":"Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, and Koushik Sen. 2018. Efficient Sampling of SAT Solutions for Testing. In ICSE. ACM, New York, NY, USA, 549--559."},{"key":"e_1_3_2_1_10_1","volume-title":"Galindo and David Benavides","author":"Jos\u00e9","year":"2020","unstructured":"Jos\u00e9 A. Galindo and David Benavides. 2020. A Python Framework for the Automated Analysis of Feature Models: A First Step to Integrate Community Efforts. In SPLC. ACM, New York, NY, USA, 52--55."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Tobias He\u00df Chico Sundermann and Thomas Th\u00fcm. 2021. On the Scalability of Building Binary Decision Diagrams for Current Feature Models. In SPLC. ACM 131--135.","DOI":"10.1145\/3461001.3474452"},{"volume-title":"Distance-Based Sampling of Software Configuration Spaces","author":"Kaltenecker Christian","key":"e_1_3_2_1_13_1","unstructured":"Christian Kaltenecker, Alexander Grebhahn, Norbert Siegmund, Jianmei Guo, and Sven Apel. 2019. Distance-Based Sampling of Software Configuration Spaces. In ICSE. IEEE, 1084--1094."},{"volume-title":"The Art of Computer Programming: Bitwise Tricks & Techniques","author":"Knuth Donald Ervin","key":"e_1_3_2_1_14_1","unstructured":"Donald Ervin Knuth. 2009. The Art of Computer Programming: Bitwise Tricks & Techniques; Binary Decision Diagrams. Vol. 4. Addison-Wesley."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Sebastian Krieter Marcus Pinnecke Jacob Kr\u00fcger Joshua Sprey Christopher Sontag Thomas Th\u00fcm Thomas Leich and Gunter Saake. 2017. FeatureIDE: Empowering Third-Party Developers. In SPLC. ACM 42--45.","DOI":"10.1145\/3109729.3109751"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","key":"e_1_3_2_1_17_1","unstructured":"Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"volume-title":"Efficient Reasoning Techniques for Large Scale Feature Models. Ph. D. Dissertation","author":"Mendon\u00e7a Marc\u00edlio","key":"e_1_3_2_1_18_1","unstructured":"Marc\u00edlio Mendon\u00e7a. 2009. Efficient Reasoning Techniques for Large Scale Feature Models. Ph. D. Dissertation. University of Waterloo."},{"key":"e_1_3_2_1_19_1","unstructured":"Jeho Oh Paul Gazzillo and Don Batory. 2019. t-wise Coverage by Uniform Sampling. In SPLC. ACM 84--87."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Juliana Alves Pereira Mathieu Acher Hugo Martib and Jean-Marc J\u00e9z\u00e9quel. 2020. Sampling Effect on Performance Prediction of Configurable Systems: A Case Study. In ICPE. ACM 277--288.","DOI":"10.1145\/3358960.3379137"},{"volume-title":"Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?","author":"Plazar Quentin","key":"e_1_3_2_1_21_1","unstructured":"Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, and Maxime Cordy. 2019. Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?. In ICST. IEEE, 240--251."},{"volume-title":"A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models","author":"Pohl Richard","key":"e_1_3_2_1_22_1","unstructured":"Richard Pohl, Kim Lauenroth, and Klaus Pohl. 2011. A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models. In ASE. IEEE, 313--322."},{"volume-title":"Raise Method Manual","author":"Raise Language Group","key":"e_1_3_2_1_23_1","unstructured":"Raise Language Group. 1993. Raise Method Manual. Prentice-Hall Inc."},{"volume-title":"Dynamic Variable Ordering for Ordered Binary Decision Diagrams","author":"Rudell Richard","key":"e_1_3_2_1_24_1","unstructured":"Richard Rudell. 1993. Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In ICCAD. IEEE, 42--47."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. Int'l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620--636","author":"Sharma Shubham","year":"2018","unstructured":"Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S Meel. 2018. Knowledge Compilation Meets Uniform Sampling. In Proc. Int'l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620--636."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Norbert Siegmund Stefan Sobernig and Sven Apel. 2017. Attributed Variability Models: Outside the Comfort Zone. In ESEC\/FSE. ACM 268--278.","DOI":"10.1145\/3106237.3106251"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Kevin Feichtinger Dominik Engelhardt Rick Rabiser and Thomas Th\u00fcm. 2021. Yet Another Textual Variability Language? A Community Effort Towards a Unified Language. In SPLC. ACM 136--147.","DOI":"10.1145\/3461001.3471145"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Tobias He\u00df Dominik Engelhardt Rahel Arens Johannes Herschel Kevin Jedelhauser Benedikt Jutz Sebastian Krieter and Ina Schaefer. 2021. Integration of UVL in FeatureIDE. In MODEVAR. ACM 73--79.","DOI":"10.1145\/3461002.3473940"},{"key":"e_1_3_2_1_29_1","volume-title":"Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer.","author":"Sundermann Chico","year":"2021","unstructured":"Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer. 2021. Applications of #SAT Solvers on Feature Models. In VaMoS. ACM, Article 12, 10 pages."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Thomas Th\u00fcm and Ina Schaefer. 2020. Evaluating #SAT Solvers on Industrial Feature Models. In VaMoS. ACM Article 3 9 pages.","DOI":"10.1145\/3377024.3377025"}],"event":{"name":"SPLC '22: 26th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Graz Austria","acronym":"SPLC '22"},"container-title":["Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503229.3547032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:50Z","timestamp":1750188650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547032"}},"subtitle":["a wrapper for feature-model analysis tools"],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":30,"alternative-id":["10.1145\/3503229.3547032","10.1145\/3503229"],"URL":"https:\/\/doi.org\/10.1145\/3503229.3547032","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]},"assertion":[{"value":"2022-09-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}