{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T13:06:05Z","timestamp":1755695165974,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T00:00:00Z","timestamp":1421798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002661","name":"Fonds De La Recherche Scientifique - FNRS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,21]]},"DOI":"10.1145\/2701319.2701325","type":"proceedings-article","created":{"date-parts":[[2015,1,16]],"date-time":"2015-01-16T19:18:59Z","timestamp":1421435939000},"page":"59-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Covering SPL Behaviour with Sampled Configurations"],"prefix":"10.1145","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[{"name":"PReCISE, University of Namur, Belgium"}]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[{"name":"PReCISE, University of Namur, Belgium"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"INRIA Rennes, Bretagne Atlantique, France"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[{"name":"PReCISE, University of Namur, Belgium"}]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[{"name":"PReCISE, University of Namur, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2015,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648532"},{"key":"e_1_3_2_1_2_1","first-page":"425","volume-title":"Model-based Coverage-driven Test Suite Generation for Software Product Lines. In MODELS '11","author":"Cichos H.","year":"2011","unstructured":"H. Cichos , S. Oster , M. Lochau , and A. Sch\u00fcrr . Model-based Coverage-driven Test Suite Generation for Software Product Lines. In MODELS '11 , LNCS, pages 425 -- 439 . Springer , 2011 . H. Cichos, S. Oster, M. Lochau, and A. Sch\u00fcrr. Model-based Coverage-driven Test Suite Generation for Software Product Lines. In MODELS '11, LNCS, pages 425--439. Springer, 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273482"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556635"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"336","volume-title":"ISoLA '14","author":"Devroey X.","year":"2014","unstructured":"X. Devroey , G. Perrouin , A. Legay , M. Cordy , P.-Y. Schobbens , and P. Heymans . Coverage Criteria for Behavioural Testing of Software Product Lines . In ISoLA '14 , volume 8802 of LNCS , pages 336 -- 350 , Corfu, Greece , 2014 . Springer . X. Devroey, G. Perrouin, A. Legay, M. Cordy, P.-Y. Schobbens, and P. Heymans. Coverage Criteria for Behavioural Testing of Software Product Lines. In ISoLA '14, volume 8802 of LNCS, pages 336--350, Corfu, Greece, 2014. Springer."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655971"},{"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":"publisher","DOI":"10.1109\/ICST.2011.12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45896-9_4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2327020"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.30"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491635"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499778"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050655.2050721"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-642-34691-0_5","volume-title":"Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS","author":"Johansen M. F.","year":"2012","unstructured":"M. F. Johansen , \u00d8. Haugen, F. Fleurey , E. Carlson , J. Endresen , and T. Wien . A technique for agile and automatic interaction testing for product lines . In B. Nielsen and C. Weise, editors, Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012 , Aalborg, Denmark, November 19-21, 2012. Proceedings, volume 7641 of Lecture Notes in Computer Science , pages 39 -- 54 . Springer , 2012. M. F. Johansen, \u00d8. Haugen, F. Fleurey, E. Carlson, J. Endresen, and T. Wien. A technique for agile and automatic interaction testing for product lines. In B. Nielsen and C. Weise, editors, Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, volume 7641 of Lecture Notes in Computer Science, pages 39--54. Springer, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_18"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2008.54"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655968"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.16"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9165-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07317-0_8"},{"key":"e_1_3_2_1_30_1","series-title":"Lecture Notes in Computer Science","first-page":"104","volume-title":"Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE","author":"McGregor J. D.","year":"2007","unstructured":"J. D. McGregor . Testing a software product line . In P. Borba, A. Cavalcanti, A. Sampaio, and J. Woodcock, editors, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007 , Recife, Brazil, December 3-7, 2007, Revised Lectures, volume 6153 of Lecture Notes in Computer Science , pages 104 -- 140 . Springer , 2007. J. D. McGregor. Testing a software product line. In P. Borba, A. Cavalcanti, A. Sampaio, and J. Woodcock, editors, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures, volume 6153 of Lecture Notes in Computer Science, pages 104--140. Springer, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885658"},{"key":"e_1_3_2_1_32_1","first-page":"339","volume-title":"Model-based Testing for Embedded System","author":"Oster S.","year":"2011","unstructured":"S. Oster , A. W\u00fcbbeke , G. Engels , and A. Sch\u00fcrr . A survey of model-based software product lines testing . In Model-based Testing for Embedded System , pages 339 -- 381 . CRC Press , Boca Raton, FL, USA , 2011 . S. Oster, A. W\u00fcbbeke, G. Engels, and A. Sch\u00fcrr. A survey of model-based software product lines testing. In Model-based Testing for Embedded System, pages 339--381. CRC Press, Boca Raton, FL, USA, 2011."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9160-9"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2014.19"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110154"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430522"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/851006.856034"}],"event":{"name":"VaMoS '15: The Ninth International Workshop on Variability Modelling of Software-intensive Systems","sponsor":["SINTEF"],"location":"Hildesheim Germany","acronym":"VaMoS '15"},"container-title":["Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2701319.2701325","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2701319.2701325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:09Z","timestamp":1750227189000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2701319.2701325"}},"subtitle":["An Initial Assessment"],"short-title":[],"issued":{"date-parts":[[2015,1,21]]},"references-count":37,"alternative-id":["10.1145\/2701319.2701325","10.1145\/2701319"],"URL":"https:\/\/doi.org\/10.1145\/2701319.2701325","relation":{},"subject":[],"published":{"date-parts":[[2015,1,21]]},"assertion":[{"value":"2015-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}