{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:39Z","timestamp":1750220259287,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"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\/4.0\/"}],"funder":[{"name":"FFG-funded project OpenSpace","award":["??9998911"],"award-info":[{"award-number":["??9998911"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3503229.3547046","type":"proceedings-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:15:43Z","timestamp":1661465743000},"page":"174-177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Test case aggregation for efficient feature model testing"],"prefix":"10.1145","author":[{"given":"Viet-Man","family":"Le","sequence":"first","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"given":"Thi Ngoc Trang","family":"Tran","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"volume-title":"VaryLaTeX: Learning Paper Variants That Meet Constraints. In Vamos'18","author":"Acher M.","key":"e_1_3_2_1_1_1","unstructured":"M. Acher, P. Temple, J-M. J\u00e9z\u00e9quel, J. Galindo, J. Martinez, and T. Tiadi. 2018. VaryLaTeX: Learning Paper Variants That Meet Constraints. In Vamos'18. Madrid, Spain, 83--88."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.5.c5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_5_1","volume-title":"Automated Reasoning on Feature Models. In International Conference on Advanced Information Systems Engineering (LNCS","volume":"503","author":"Benavides D.","unstructured":"D. Benavides, P. Trinidad, and A. Ruiz-Cortez. 2005. Automated Reasoning on Feature Models. In International Conference on Advanced Information Systems Engineering (LNCS, Vol. 3520). Porto, Portugal, 491--503."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060411000011"},{"volume-title":"Redundancy Based Test-Suite Reduction. In 10th International Conference on Fundamental Approaches to Software Engineering","author":"Fraser G.","key":"e_1_3_2_1_7_1","unstructured":"G. Fraser and F. Wotawa. 2007. Redundancy Based Test-Suite Reduction. In 10th International Conference on Fundamental Approaches to Software Engineering (Braga, Portugal) (FASE'07). Springer-Verlag, Berlin, Heidelberg, 291--305."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"M. Hentze T. Pett T. Th\u00fcm and I. Schaefer. 2021. Hyper Explanations for Feature-Model Defect Analysis. In VaMoS'21 (Krems Austria). Association for Computing Machinery New York NY USA Article 14 9 pages.","DOI":"10.1145\/3442391.3442406"},{"key":"e_1_3_2_1_9_1","volume-title":"AAAI'04","author":"Junker U.","year":"2004","unstructured":"U. Junker. 2004. QickXPlain: preferred explanations and relaxations for over-constrained problems. In AAAI'04. AAAI, 167--172."},{"key":"e_1_3_2_1_10_1","volume-title":"Tech. Report - SEI-90-TR-21","author":"Kang K.","year":"1990","unstructured":"K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. 1990. Feature-oriented Domain Analysis (FODA) - Feasibility Study. Tech. Report - SEI-90-TR-21 (1990)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"D. Le H. Lee K. Kang and L. Keun. 2013. Validating Consistency between a Feature Model and Its Implementation. In Safe and Secure Software Reuse J. Favaro and M. Morisio (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 1--16.","DOI":"10.1007\/978-3-642-38977-1_1"},{"key":"e_1_3_2_1_12_1","volume-title":"DirectDebug: Automated Testing and Debugging of Feature Models. In IEEE\/ACM 43rd Intl. Conference on Software Engineering (ICSE-NIER) (Virtual). 81--85","author":"Le V.M.","year":"2021","unstructured":"V.M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo, and T.N.T. Tran. 2021. DirectDebug: Automated Testing and Debugging of Feature Models. In IEEE\/ACM 43rd Intl. Conference on Software Engineering (ICSE-NIER) (Virtual). 81--85."},{"volume-title":"SPLC'09","author":"Mendonca M.","key":"e_1_3_2_1_13_1","unstructured":"M. Mendonca, A. Wαsowski, and K. Czarnecki. 2009. SAT-Based Analysis of Feature Models is Easy. In SPLC'09 (San Francisco, CA, USA). USA, 231--240."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_2_1_15_1","unstructured":"F. Rossi P. van Beek and T. Walsh. 2006. Handbook of Constraint Programming. Elsevier."},{"key":"e_1_3_2_1_16_1","volume-title":"Feature Diagrams: A Survey and a Formal Semantics","author":"Schobbens P.-Y.","year":"2006","unstructured":"P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. 2006. Feature Diagrams: A Survey and a Formal Semantics. In IEEE RE'06. 139 -- 148."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S. Segura J.A. Galindo D. Benavides J.A. Parejo and A. Ruiz-Cortes. 2012. BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models. In VaMoS'12. ACM Leipzig Germany 63--71.","DOI":"10.1145\/2110147.2110155"}],"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.3547046","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503229.3547046","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.3547046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":17,"alternative-id":["10.1145\/3503229.3547046","10.1145\/3503229"],"URL":"https:\/\/doi.org\/10.1145\/3503229.3547046","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"}}]}}