{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:21:22Z","timestamp":1772554882675,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":55,"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"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202025 and 62122078"],"award-info":[{"award-number":["62202025 and 62122078"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4502003"],"award-info":[{"award-number":["2022YFB4502003"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Huawei Populus Grove Fund"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608998","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"261-267","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Generating Pairwise Covering Arrays for Highly Configurable Software Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5028-1064","authenticated-orcid":false,"given":"Chuan","family":"Luo","sequence":"first","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0895-6258","authenticated-orcid":false,"given":"Jianping","family":"Song","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1017-1562","authenticated-orcid":false,"given":"Qiyuan","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computing, National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8132-7106","authenticated-orcid":false,"given":"Yibei","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Physics, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1730-6922","authenticated-orcid":false,"given":"Shaowei","family":"Cai","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3473-9703","authenticated-orcid":false,"given":"Chunming","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"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.1007\/s10270-016-0569-2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10732-022-09495-3"},{"key":"e_1_3_2_1_3_1","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel , Don S. Batory , Christian K\u00e4stner , and Gunter Saake . 2013. Feature-Oriented Software Product Lines - Concepts and Implementation . Springer . Sven Apel, Don S. Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928380.1928389"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409744"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1286486.1286488"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1527149.1527152"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of ICSE","author":"Bryce Ren\u00e9e C.","year":"2005","unstructured":"Ren\u00e9e C. Bryce , Charles J. Colbourn , and Myra B. Cohen . 2005. A Framework of Greedy Methods for Constructing Interaction Test Suites . In Proceedings of ICSE 2005 . 146--155. Ren\u00e9e C. Bryce, Charles J. Colbourn, and Myra B. Cohen. 2005. A Framework of Greedy Methods for Constructing Interaction Test Suites. In Proceedings of ICSE 2005. 146--155."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of ISSRE","author":"Cohen Myra B.","year":"2003","unstructured":"Myra B. Cohen , Charles J. Colbourn , and Alan C. H. Ling . 2003. Augmenting Simulated Annealing to Build Interaction Test Suites . In Proceedings of ISSRE 2003 . 394--405. Myra B. Cohen, Charles J. Colbourn, and Alan C. H. Ling. 2003. Augmenting Simulated Annealing to Build Interaction Test Suites. In Proceedings of ISSRE 2003. 394--405."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings ICSE","author":"Cohen Myra","year":"2003","unstructured":"Myra B. Cohen , Peter B. Gibbons , Warwick B. Mugridge , and Charles J. Colbourn . 2003. Constructing Test Suites for Interaction Testing . In Proceedings ICSE 2003 . 38--48. Myra B.Cohen, Peter B. Gibbons, Warwick B. Mugridge, and Charles J. Colbourn. 2003. Constructing Test Suites for Interaction Testing. In Proceedings ICSE 2003. 38--48."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of COMPAC","author":"Cohen Myra B.","year":"2003","unstructured":"Myra B. Cohen , Peter B. Gibbons , Warwick B. Mugridge , Charles J. Colbourn , and James S. Collofello . 2003. A Variable Strength Interaction Testing of Components . In Proceedings of COMPAC 2003 . 413--418. Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge, Charles J. Colbourn, and James S. Collofello. 2003. A Variable Strength Interaction Testing of Components. In Proceedings of COMPAC 2003. 413--418."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of International Symposium on Search Based Software Engineering","author":"Garvin Brady J.","year":"2009","unstructured":"Brady J. Garvin , Myra B. Cohen , and Matthew B. Dwyer . 2009. An Improved Meta-Heuristic Search for Constrained Interaction Testing . In Proceedings of International Symposium on Search Based Software Engineering 2009 . 13--22. Brady J. Garvin, Myra B. Cohen, and Matthew B. Dwyer. 2009. An Improved Meta-Heuristic Search for Constrained Interaction Testing. In Proceedings of International Symposium on Search Based Software Engineering 2009. 13--22."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of CEC","author":"Syed","year":"2003","unstructured":"Syed A. Ghazi and Moataz A. Ahmed. 2003. Pair-wise Test Coverage using Genetic Algorithms . In Proceedings of CEC 2003 . 1420--1424. Syed A. Ghazi and Moataz A. Ahmed. 2003. Pair-wise Test Coverage using Genetic Algorithms. In Proceedings of CEC 2003. 1420--1424."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17458-2_6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-006-7094-9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818821"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00112"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414989"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2019.2951980"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.47"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1405567.1405569"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of HASE","author":"Lei Yu","year":"1998","unstructured":"Yu Lei and Kuo-Chung Tai . 1998 . In-Parameter-Order: A Test Generation Strategy for Pairwise Testing . In Proceedings of HASE 1998. 254--261. Yu Lei and Kuo-Chung Tai. 1998. In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. In Proceedings of HASE 1998. 254--261."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338914"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.61"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00030"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468622"},{"key":"e_1_3_2_1_32_1","first-page":"1185","article-title":"SamplingCA","volume":"2022","author":"Luo Chuan","year":"2022","unstructured":"Chuan Luo , Qiyuan Zhao , Shaowei Cai , Hongyu Zhang , and Chunming Hu . 2022 . SamplingCA : Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems. In Proceedings of ESEC\/FSE 2022. 1185 -- 1197 . Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, and Chunming Hu. 2022. SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems. In Proceedings of ESEC\/FSE 2022. 1185--1197.","journal-title":"In Proceedings of ESEC\/FSE"},{"key":"e_1_3_2_1_33_1","unstructured":"Chuan Luo Qiyuan Zhao Jianping Song Binqi Sun Junjie Chen Hongyu Zhang and Jinkun Lin. 2023. Improving t-wise Coverage via Effective and Efficient Local Search-based Sampling. (2023).  Chuan Luo Qiyuan Zhao Jianping Song Binqi Sun Junjie Chen Hongyu Zhang and Jinkun Lin. 2023. Improving t-wise Coverage via Effective and Efficient Local Search-based Sampling. (2023)."},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of INAP\/WLP","author":"Manthey Norbert","year":"2011","unstructured":"Norbert Manthey . 2011 . Coprocessor - a Standalone SAT Preprocessor . In Proceedings of INAP\/WLP 2011. 297--304. Norbert Manthey. 2011. Coprocessor - a Standalone SAT Preprocessor. In Proceedings of INAP\/WLP 2011. 297--304."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.91"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_37_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of SPLC","author":"Mendon\u00e7a Marc\u00edlio","year":"2009","unstructured":"Marc\u00edlio Mendon\u00e7a , Andrzej Wasowski , and Krzysztof Czarnecki . 2009 . SAT-based Analysis of Feature Models is Easy . In Proceedings of SPLC 2009. 231--240. Marc\u00edlio Mendon\u00e7a, Andrzej Wasowski, and Krzysztof Czarnecki. 2009. SAT-based Analysis of Feature Models is Easy. In Proceedings of SPLC 2009. 231--240."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2837759"},{"key":"e_1_3_2_1_40_1","volume-title":"A Survey of Combinatorial Testing. Comput. Surveys 43, 2","author":"Nie Changhai","year":"2011","unstructured":"Changhai Nie and Hareton Leung . 2011. A Survey of Combinatorial Testing. Comput. Surveys 43, 2 ( 2011 ), 11:1-11:29. Changhai Nie and Hareton Leung. 2011. A Survey of Combinatorial Testing. Comput. Surveys 43, 2 (2011), 11:1-11:29."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421279"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491436"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of ICECCS","author":"Sun Jing","year":"2005","unstructured":"Jing Sun , Hongyu Zhang , Yuan-Fang Li , and Hai H. Wang . 2005. Formal Semantics and Verification for Feature Modeling . In Proceedings of ICECCS 2005 . 303--312. Jing Sun, Hongyu Zhang, Yuan-Fang Li, and Hai H.Wang. 2005. Formal Semantics and Verification for Feature Modeling. In Proceedings of ICECCS 2005. 303--312."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of IEEE Aerospace Conference","author":"Tung Yu-Wen","year":"2000","unstructured":"Yu-Wen Tung and Wafa S. Aldiwan . 2000. Automating Test Case Generation for the New Generation Mission Software System . In Proceedings of IEEE Aerospace Conference 2000 . 431--437. Yu-Wen Tung and Wafa S. Aldiwan. 2000. Automating Test Case Generation for the New Generation Mission Software System. In Proceedings of IEEE Aerospace Conference 2000. 431--437."},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of SOQUA","author":"Wang Ziyuan","year":"2007","unstructured":"Ziyuan Wang , Changhai Nie , and Baowen Xu . 2007 . Generating Combinatorial Test Suite for Interaction Relationship . In Proceedings of SOQUA 2007. 55--61. Ziyuan Wang, Changhai Nie, and Baowen Xu. 2007. Generating Combinatorial Test Suite for Interaction Relationship. In Proceedings of SOQUA 2007. 55--61."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3057853"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970335"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102599"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.8"},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of ICST","author":"Yu Linbin","year":"2013","unstructured":"Linbin Yu , Yu Lei , Mehra Nouroz Borazjany , Raghu Kacker , and D. Richard Kuhn . 2013. An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation . In Proceedings of ICST 2013 . 242--251. Linbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, and D. Richard Kuhn. 2013. An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. In Proceedings of ICST 2013. 242--251."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.09.001"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of ESEC\/FSE","author":"Zhao Qiyuan","year":"2023","unstructured":"Qiyuan Zhao , Chuan Luo , Shaowei Cai , Wei Wu , Jinkun Lin , Hongyu Zhang , and Chunming Hu . 2023 . CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays . In Proceedings of ESEC\/FSE 2023. Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, and Chunming Hu. 2023. CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. In Proceedings of ESEC\/FSE 2023."}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"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.3608998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:05Z","timestamp":1750178285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":55,"alternative-id":["10.1145\/3579027.3608998","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608998","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"}}]}}