{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:26:56Z","timestamp":1763641616702,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P21321-N15"],"award-info":[{"award-number":["P21321-N15"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Lise Meitner Fellowship","award":["M1421-N15"],"award-info":[{"award-number":["M1421-N15"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,1,23]]},"DOI":"10.1145\/2430502.2430524","type":"proceedings-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:21:18Z","timestamp":1359476478000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Using feature model knowledge to speed up the generation of covering arrays"],"prefix":"10.1145","author":[{"given":"Evelyn Nicole","family":"Haslinger","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto E.","family":"Lopez-Herrejon","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Software Product Line Online Tools(SPLOT) Accesed July 2011. http:\/\/www.splot-research.org\/.  Software Product Line Online Tools(SPLOT) Accesed July 2011. http:\/\/www.splot-research.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150334.1150336"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.50"},{"key":"e_1_3_2_1_6_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , 2000 . K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2--7, 2012","volume":"1","author":"de Almeida E. S.","year":"2012","unstructured":"E. S. de Almeida , C. Schwanninger , and D. Benavides , editors . 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2--7, 2012 , Volume 1 . ACM, 2012 . E. S. de Almeida, C. Schwanninger, and D. Benavides, editors. 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2--7, 2012, Volume 1. ACM, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330331"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572294"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9135-7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"M. F.\n      Johansen \u00d8. Haugen and \n      F.\n      Fleurey\n  . \n  Properties of realistic feature models make combinatorial testing of product lines feasible\n  . In J. Whittle T. Clark and T. K\u00fchne editors MoDELS volume \n  6981\n   of \n  Lecture Notes in Computer Science pages \n  638\n  --\n  652\n  . \n  Springer 2011\n  .   M. F. Johansen \u00d8. Haugen and F. Fleurey. Properties of realistic feature models make combinatorial testing of product lines feasible. In J. Whittle T. Clark and T. K\u00fchne editors MoDELS volume 6981 of Lecture Notes in Computer Science pages 638--652. Springer 2011.","DOI":"10.1007\/978-3-642-24485-8_47"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_15_1","series-title":"The IBM Research Symposia Series","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Complexity of Computer Computations","author":"Karp R. M.","year":"1972","unstructured":"R. M. Karp . Reducibility among combinatorial problems . In R. E. Miller and J. W. Thatcher, editors, Complexity of Computer Computations , The IBM Research Symposia Series , pages 85 -- 103 . Plenum Press , New York , 1972 . R. M. Karp. Reducibility among combinatorial problems. In R. E. Miller and J. W. Thatcher, editors, Complexity of Computer Computations, The IBM Research Symposia Series, pages 85--103. Plenum Press, New York, 1972."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362545"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.47"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"S.\n      Oster F.\n      Markert and \n      P.\n      Ritter\n  . \n  Automated incremental pairwise testing of software product lines\n  . In J. Bosch and J. Lee editors SPLC volume \n  6287\n   of \n  Lecture Notes in Computer Science pages \n  196\n  --\n  210\n  . \n  Springer 2010\n  .   S. Oster F. Markert and P. Ritter. Automated incremental pairwise testing of software product lines. In J. Bosch and J. Lee editors SPLC volume 6287 of Lecture Notes in Computer Science pages 196--210. Springer 2010.","DOI":"10.1007\/978-3-642-15579-6_14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. Bockle , and F. J. van der Linden . Software Product Line Engineering: Foundations, Principles and Techniques . Springer , 2005 . K. Pohl, G. Bockle, and F. J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33253-4_13"},{"key":"e_1_3_2_1_23_1","first-page":"201","volume-title":"Automated analysis of feature models using atomic sets","author":"Segura S.","year":"2008","unstructured":"S. Segura . Automated analysis of feature models using atomic sets . In S. Thiel and K. Pohl, editors, SPLC (2), pages 201 -- 207 . Lero Int. Science Centre, University of Limerick , Ireland, 2008 . S. Segura. Automated analysis of feature models using atomic sets. In S. Thiel and K. Pohl, editors, SPLC (2), pages 201--207. Lero Int. Science Centre, University of Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.30"},{"key":"e_1_3_2_1_25_1","unstructured":"P. Zave. Faq sheet on feature interaction. http:\/\/www.research.att.com\/pamela\/faq.html.  P. Zave. Faq sheet on feature interaction. http:\/\/www.research.att.com\/pamela\/faq.html."}],"event":{"name":"VaMoS '13: The Seventh International Workshop on Variability Modelling of Software-intensive Systems","sponsor":["ICAR, National Research Council, Section of Naples, Italy ICAR, National Research Council, Section of Naples, Italy","CNR Istituto di Scienza e Tecnologie dell Informazione"],"location":"Pisa Italy","acronym":"VaMoS '13"},"container-title":["Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430502.2430524","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2430502.2430524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:23Z","timestamp":1750235723000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430502.2430524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":24,"alternative-id":["10.1145\/2430502.2430524","10.1145\/2430502"],"URL":"https:\/\/doi.org\/10.1145\/2430502.2430524","relation":{},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}