{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:07:19Z","timestamp":1777536439752,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":74,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T00:00:00Z","timestamp":1580860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","award":["Grant 424340\/2016-0, Grant 290136\/2015-6"],"award-info":[{"award-number":["Grant 424340\/2016-0, Grant 290136\/2015-6"]}]},{"name":"FAPEMIG","award":["grant PPM-00651-17"],"award-info":[{"award-number":["grant PPM-00651-17"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,5]]},"DOI":"10.1145\/3377024.3377045","type":"proceedings-article","created":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T17:20:12Z","timestamp":1581009612000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On the proposal and evaluation of a test-enriched dataset for configurable systems"],"prefix":"10.1145","author":[{"given":"Fischer","family":"Ferreira","sequence":"first","affiliation":[{"name":"Federal University of Minas Gerais, Belo Horizonte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Vale","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o P.","family":"Diniz","sequence":"additional","affiliation":[{"name":"Federal University of Minas Gerais, Belo Horizonte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Figueiredo","sequence":"additional","affiliation":[{"name":"Federal University of Minas Gerais, Belo Horizonte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"I. Abal J. Melo \u015e. St\u0103nciulescu C. Brabrand M. Ribeiro and A. W\u0105sowski. 2018. Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM) (2018) 10--34.  I. Abal J. Melo \u015e. St\u0103nciulescu C. Brabrand M. Ribeiro and A. W\u0105sowski. 2018. Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM) (2018) 10--34.","DOI":"10.1145\/3149119"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 27th international conference on Software engineering. ACM, 402--411","author":"Andrews J. H","unstructured":"J. H Andrews , L. C Briand , and Y. Labiche . 2005. Is mutation an appropriate tool for testing experiments? . In Proceedings of the 27th international conference on Software engineering. ACM, 402--411 . J. H Andrews, L. C Briand, and Y. Labiche. 2005. Is mutation an appropriate tool for testing experiments?. In Proceedings of the 27th international conference on Software engineering. ACM, 402--411."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S. Apel S. Batory C. K\u00e4stner and G. Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer.  S. Apel S. Batory C. K\u00e4stner and G. Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer.","DOI":"10.1007\/978-3-642-37521-7"},{"key":"e_1_3_2_1_6_1","volume-title":"Exploring Feature Interactions in the Wild: The New Feature-interaction Challenge. In In 5th International Workshop on Feature-Oriented Software Development (FOSD). 1--8.","author":"Apel S.","unstructured":"S. Apel , S. Kolesnikov , N. Siegmund , C. K\u00e4stner , and B. Garvin . 2013 . Exploring Feature Interactions in the Wild: The New Feature-interaction Challenge. In In 5th International Workshop on Feature-Oriented Software Development (FOSD). 1--8. S. Apel, S. Kolesnikov, N. Siegmund, C. K\u00e4stner, and B. Garvin. 2013. Exploring Feature Interactions in the Wild: The New Feature-interaction Challenge. In In 5th International Workshop on Feature-Oriented Software Development (FOSD). 1--8."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"A. Bertolino and S. Gnesi. 2003. Use Case-based Testing of Product Lines. In In 9th ACM Software Engineering Notes (SIGSOFT) (ESEC\/FSE-11). 355--358.  A. Bertolino and S. Gnesi. 2003. Use Case-based Testing of Product Lines. In In 9th ACM Software Engineering Notes (SIGSOFT) (ESEC\/FSE-11) . 355--358.","DOI":"10.1145\/940071.940120"},{"key":"e_1_3_2_1_8_1","volume-title":"In 6th International Workshop on Product-Family Engineering. 181--197","author":"Bertolino A.","unstructured":"A. Bertolino and S. Gnesi . 2004. PLUTO: A Test Methodology for Product Families (PFE) . In In 6th International Workshop on Product-Family Engineering. 181--197 . A. Bertolino and S. Gnesi. 2004. PLUTO: A Test Methodology for Product Families (PFE). In In 6th International Workshop on Product-Family Engineering. 181--197."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"S. R. Chidamber D. P. Darcy and C. F. Kemerer. 1998. Managerial use of metrics for object-oriented software: An exploratory analysis. Transactions on software Engineering (TSE) (1998) 629--639.  S. R. Chidamber D. P. Darcy and C. F. Kemerer. 1998. Managerial use of metrics for object-oriented software: An exploratory analysis. Transactions on software Engineering (TSE) (1998) 629--639.","DOI":"10.1109\/32.707698"},{"key":"e_1_3_2_1_10_1","unstructured":"CK. [n. d.]. CK. ([n. d.]). https:\/\/github.com\/mauricioaniche\/ck Accessed 16-nov-2019.  CK. [n. d.]. CK. ([n. d.]). https:\/\/github.com\/mauricioaniche\/ck Accessed 16-nov-2019."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"A. Classen M. Cordy P. Schobbens P. Heymans A. Legay and J. Raskin. 2013. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Transactions on Software Engineering (TSE) (2013) 1069--1089.  A. Classen M. Cordy P. Schobbens P. Heymans A. Legay and J. Raskin. 2013. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Transactions on Software Engineering (TSE) (2013) 1069--1089.","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147257"},{"key":"e_1_3_2_1_13_1","volume-title":"In 25th International Symposium on Software Testing and Analysis (ISSTA). 449--452","author":"Coles H.","unstructured":"H. Coles , T. Laurent , C. Henard , M. Papadakis , and A. Ventresque . 2016. Pit: a practical mutation testing tool for java . In In 25th International Symposium on Software Testing and Analysis (ISSTA). 449--452 . H. Coles, T. Laurent, C. Henard, M. Papadakis, and A. Ventresque. 2016. Pit: a practical mutation testing tool for java. In In 25th International Symposium on Software Testing and Analysis (ISSTA). 449--452."},{"key":"e_1_3_2_1_14_1","volume-title":"A Systematic Mapping Study of Software Product Lines Testing. Information and Software Technology (IST)","author":"Neto P. A. D. M. S.","year":"2011","unstructured":"P. A. D. M. S. Neto , I. do Carmo Machado , J. D. McGregor , E. S. de Almeida , and S. R. de Lemos Meira . 2011. A Systematic Mapping Study of Software Product Lines Testing. Information and Software Technology (IST) ( 2011 ), 407--423. P. A. D. M. S. Neto, I. do Carmo Machado, J. D. McGregor, E. S. de Almeida, and S. R. de Lemos Meira. 2011. A Systematic Mapping Study of Software Product Lines Testing. Information and Software Technology (IST) (2011), 407--423."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_16_1","volume-title":"Testing Techniques: An Infrastructure and Its Potential Impact. Empirical Software Engineering (ESE)","author":"Do H.","year":"2005","unstructured":"H. Do , S. Elbaum , and G. Rothermel . 2005 . Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and Its Potential Impact. Empirical Software Engineering (ESE) (2005), 405--435. H. Do, S. Elbaum, and G. Rothermel. 2005. Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and Its Potential Impact. Empirical Software Engineering (ESE) (2005), 405--435."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"E. Engstr\u00f6m and P. Runeson. 2011. Software Product Line Testing - A Systematic Mapping Study. Information and Software Technology (IST) (2011) 2--13.  E. Engstr\u00f6m and P. Runeson. 2011. Software Product Line Testing - A Systematic Mapping Study. Information and Software Technology (IST) (2011) 2--13.","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_18_1","volume-title":"Code Smells Revisited: A Variability Perspective. In In 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 3--10","author":"Fenske W.","unstructured":"W. Fenske and S. Schulze . 2015 . Code Smells Revisited: A Variability Perspective. In In 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 3--10 . W. Fenske and S. Schulze. 2015. Code Smells Revisited: A Variability Perspective. In In 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 3--10."},{"key":"e_1_3_2_1_19_1","unstructured":"Fest. [n. d.]. Fest. ([n. d.]). http:\/\/code.google.com\/p\/fest\/ Accessed 16-nov-2019.  Fest. [n. d.]. Fest. ([n. d.]). http:\/\/code.google.com\/p\/fest\/ Accessed 16-nov-2019."},{"key":"e_1_3_2_1_20_1","volume-title":"In 33rd Annual ACM Symposium on Applied Computing (SAC) (SAC '18). 2034","author":"Fischer S.","year":"2041","unstructured":"S. Fischer , R. Lopez-Herrejon , and A. Egyed . 2018. Towards a Fault-detection Benchmark for Evaluating Software Product Line Testing Approaches . In In 33rd Annual ACM Symposium on Applied Computing (SAC) (SAC '18). 2034 -- 2041 . S. Fischer, R. Lopez-Herrejon, and A. Egyed. 2018. Towards a Fault-detection Benchmark for Evaluating Software Product Line Testing Approaches. In In 33rd Annual ACM Symposium on Applied Computing (SAC) (SAC '18). 2034--2041."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, 416--419","author":"Fraser G.","unstructured":"G. Fraser and A. Arcuri . 2011. EvoSuite: automatic test suite generation for object-oriented software . In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, 416--419 . G. Fraser and A. Arcuri. 2011. EvoSuite: automatic test suite generation for object-oriented software. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, 416--419."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 36th International Conference on Software Engineering. ACM, 72--82","author":"Gopinath R.","unstructured":"R. Gopinath , C. Jensen , and A. Groce . 2014. Code coverage for suite evaluation by developers . In Proceedings of the 36th International Conference on Software Engineering. ACM, 72--82 . R. Gopinath, C. Jensen, and A. Groce. 2014. Code coverage for suite evaluation by developers. In Proceedings of the 36th International Conference on Software Engineering. ACM, 72--82."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"A. Halin A. Nuttinck M. Acher X. Devroey G. Perrouin and B. Baudry. 2019. Test them all is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering (ESE) (2019) 674--717.  A. Halin A. Nuttinck M. Acher X. Devroey G. Perrouin and B. Baudry. 2019. Test them all is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering (ESE) (2019) 674--717.","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the International Workshop on Software Product Line Testing (SPLiT). 58--65","author":"Hartmann J.","unstructured":"J. Hartmann , M. Vieira , and A. Ruder . 2004. A UML-based Approach for Validating Product Lines . In Proceedings of the International Workshop on Software Product Line Testing (SPLiT). 58--65 . J. Hartmann, M. Vieira, and A. Ruder. 2004. A UML-based Approach for Validating Product Lines. In Proceedings of the International Workshop on Software Product Line Testing (SPLiT). 58--65."},{"key":"e_1_3_2_1_25_1","volume-title":"PLEDGE: A Product Line Editor and Test Generation Tool. In In 17th Proceedings of the International Software Product Line Conference (SPLC). 126--129","author":"Henard C.","unstructured":"C. Henard , M. Papadakis , G. Perrouin , J. Klein , and Y. Traon . 2013 . PLEDGE: A Product Line Editor and Test Generation Tool. In In 17th Proceedings of the International Software Product Line Conference (SPLC). 126--129 . C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Traon. 2013. PLEDGE: A Product Line Editor and Test Generation Tool. In In 17th Proceedings of the International Software Product Line Conference (SPLC). 126--129."},{"key":"e_1_3_2_1_26_1","volume-title":"In 6th International Symposium on Search Based Software Engineering (SSBSE). 92--106","author":"Henard C.","unstructured":"C. Henard , M. Papadakis , and Y. Traon . 2014. Mutation-based generation of software product line test configurations . In In 6th International Symposium on Search Based Software Engineering (SSBSE). 92--106 . C. Henard, M. Papadakis, and Y. Traon. 2014. Mutation-based generation of software product line test configurations. In In 6th International Symposium on Search Based Software Engineering (SSBSE). 92--106."},{"key":"e_1_3_2_1_27_1","volume-title":"In 22th International Symposium on Software Reliability Engineering (ISSRE). 120--129","author":"Hervieu A.","unstructured":"A. Hervieu , B.t Baudry, and A. Gotlieb . 2011. Pacogen: Automatic generation of pairwise test configurations from feature models . In In 22th International Symposium on Software Reliability Engineering (ISSRE). 120--129 . A. Hervieu, B.t Baudry, and A. Gotlieb. 2011. Pacogen: Automatic generation of pairwise test configurations from feature models. In In 22th International Symposium on Software Reliability Engineering (ISSRE). 120--129."},{"key":"e_1_3_2_1_28_1","unstructured":"IncLing. [n. d.]. IncLing Tool. ([n. d.]). http:\/\/www.tinyurl.com\/IncrementalSampling Accessed 15-nov-2019.  IncLing. [n. d.]. IncLing Tool. ([n. d.]). http:\/\/www.tinyurl.com\/IncrementalSampling Accessed 15-nov-2019."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_30_1","unstructured":"JaCoCo. [n. d.]. Metrics. ([n. d.]). https:\/\/www.eclemma.org\/jacoco\/ Accessed 16-nov-2019.  JaCoCo. [n. d.]. Metrics. ([n. d.]). https:\/\/www.eclemma.org\/jacoco\/ Accessed 16-nov-2019."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Y. Jia and M. Harman. 2010. An analysis and survey of the development of mutation testing. IEEE transactions on software engineering (TSE) (2010) 649--678.  Y. Jia and M. Harman. 2010. An analysis and survey of the development of mutation testing. IEEE transactions on software engineering (TSE) (2010) 649--678.","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 2008 International Symposium on Computer Science and Computational Technology (ISCSCT). 690--693","author":"L.","unstructured":"L. Jin-hua, L. Qiong , and L. Jing . 2008. The W-Model for Testing Software Product Lines . In Proceedings of the 2008 International Symposium on Computer Science and Computational Technology (ISCSCT). 690--693 . L. Jin-hua, L. Qiong, and L. Jing. 2008. The W-Model for Testing Software Product Lines. In Proceedings of the 2008 International Symposium on Computer Science and Computational Technology (ISCSCT). 690--693."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_34_1","unstructured":"JUnit. [n. d.]. JUnit. ([n. d.]). https:\/\/junit.org\/junit5\/ Accessed 16-nov-2019.  JUnit. [n. d.]. JUnit. ([n. d.]). https:\/\/junit.org\/junit5\/ Accessed 16-nov-2019."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 654--665","author":"Just R.","unstructured":"R. Just , D. Jalali , L. Inozemtseva , M. D. Ernst , R. Holmes , and G. Fraser . 2014. Are mutants a valid substitute for real faults in software testing? . In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 654--665 . R. Just, D. Jalali, L. Inozemtseva, M. D. Ernst, R. Holmes, and G. Fraser. 2014. Are mutants a valid substitute for real faults in software testing?. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 654--665."},{"key":"e_1_3_2_1_36_1","volume-title":"In 28th Proceedings of the International Conference on Software Engineering (ICSE). 783--786","author":"Kyungseok","unstructured":"Kyungseok K., Hyejung K., Miyoung A., Minseok S., Yeop C., and K. Kang . 2006. ASADAL: a tool system for co-development of software and test environment based on product line engineering . In In 28th Proceedings of the International Conference on Software Engineering (ICSE). 783--786 . Kyungseok K., Hyejung K., Miyoung A., Minseok S., Yeop C., and K. Kang. 2006. ASADAL: a tool system for co-development of software and test environment based on product line engineering. In In 28th Proceedings of the International Conference on Software Engineering (ICSE). 783--786."},{"key":"e_1_3_2_1_37_1","volume-title":"23th International Symposium on Software Reliability Engineering (ISSRE). 221--230","author":"Kim C. H. P.","unstructured":"C. H. P. Kim , S. Khurshid , and D. Batory . 2012. Shared execution for efficiently testing product lines . In 23th International Symposium on Software Reliability Engineering (ISSRE). 221--230 . C. H. P. Kim, S. Khurshid, and D. Batory. 2012. Shared execution for efficiently testing product lines. In 23th International Symposium on Software Reliability Engineering (ISSRE). 221--230."},{"key":"e_1_3_2_1_38_1","volume-title":"9th Proceedings of the Joint Meeting on Foundations of Software Engineering (ESEC\/FSE). 257--267","author":"Peter Kim Chang Hwan","year":"2013","unstructured":"Chang Hwan Peter Kim , Darko Marinov , Sarfraz Khurshid , Don Batory , Sabrina Souto , Paulo Barros , and Marcelo d' Amorim . 2013 . SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems . In 9th Proceedings of the Joint Meeting on Foundations of Software Engineering (ESEC\/FSE). 257--267 . Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim. 2013. SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. In 9th Proceedings of the Joint Meeting on Foundations of Software Engineering (ESEC\/FSE). 257--267."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"P. Lamancha M. Polo and M. Piattini. 2013. Systematic Review on Software Product Line Testing (ICSOFT). In Software and Data Technologies. 58--71.  P. Lamancha M. Polo and M. Piattini. 2013. Systematic Review on Software Product Line Testing (ICSOFT). In Software and Data Technologies. 58--71.","DOI":"10.1007\/978-3-642-29578-2_4"},{"key":"e_1_3_2_1_40_1","volume-title":"In 16th International Software Product Line Conference (SPLC). 31--40","author":"Lee J.","unstructured":"J. Lee , S. Kang , and D. Lee . 2012. A Survey on Software Product Line Testing . In In 16th International Software Product Line Conference (SPLC). 31--40 . J. Lee, S. Kang, and D. Lee. 2012. A Survey on Software Product Line Testing. In In 16th International Software Product Line Conference (SPLC). 31--40."},{"key":"e_1_3_2_1_41_1","unstructured":"R. Lopez-Herrejon J. Ferrer F. Chicano E. Haslinger A. Egyed and Enrique A. 2014. Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines. CoRR (2014). http:\/\/arxiv.org\/abs\/1401.5367  R. Lopez-Herrejon J. Ferrer F. Chicano E. Haslinger A. Egyed and Enrique A. 2014. Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines. CoRR (2014). http:\/\/arxiv.org\/abs\/1401.5367"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"R. E. Lopez-Herrejon S. Fischer R. Ramler and A. Egyed. 2015. A first systematic mapping study on combinatorial interaction testing for software product lines. (2015) 1--10.  R. E. Lopez-Herrejon S. Fischer R. Ramler and A. Egyed. 2015. A first systematic mapping study on combinatorial interaction testing for software product lines. (2015) 1--10.","DOI":"10.1109\/ICSTW.2015.7107435"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"I. Machado J. McGregor Y. Cavalcanti and E. Almeida. 2014. On strategies for testing software product lines: A systematic literature review. Information and Software Technology (IST) (2014) 1183 -- 1199.  I. Machado J. McGregor Y. Cavalcanti and E. Almeida. 2014. On strategies for testing software product lines: A systematic literature review. Information and Software Technology (IST) (2014) 1183 -- 1199.","DOI":"10.1016\/j.infsof.2014.04.002"},{"key":"e_1_3_2_1_44_1","volume-title":"An Extensive Study on Cross-Project Predictive Mutation Testing. In In 12th Conference on Software Testing, Validation and Verification (ICST). 160--171","author":"Mao D.","unstructured":"D. Mao , L. Chen , and L. Zhang . 2019 . An Extensive Study on Cross-Project Predictive Mutation Testing. In In 12th Conference on Software Testing, Validation and Verification (ICST). 160--171 . D. Mao, L. Chen, and L. Zhang. 2019. An Extensive Study on Cross-Project Predictive Mutation Testing. In In 12th Conference on Software Testing, Validation and Verification (ICST). 160--171."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491646"},{"key":"e_1_3_2_1_46_1","volume-title":"In 21st International Systems and Software Product Line Conference (SPLC). 38--41","author":"Martinez J.","unstructured":"J. Martinez , W. KG Assun\u00e7\u00e3o , and T. Ziadi . 2017. ESPLA: A catalog of Extractive SPL Adoption case studies . In In 21st International Systems and Software Product Line Conference (SPLC). 38--41 . J. Martinez, W. KG Assun\u00e7\u00e3o, and T. Ziadi. 2017. ESPLA: A catalog of Extractive SPL Adoption case studies. In In 21st International Systems and Software Product Line Conference (SPLC). 38--41."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655972"},{"key":"e_1_3_2_1_49_1","volume-title":"31st Proceedings of the International Conference on Automated Software Engineering (ASE). 483--494","author":"Meinicke J.","unstructured":"J. Meinicke , C. Wong , C. K\u00e4stner , T. Th\u00fcm , and Gunter S . 2016. On essential configuration complexity: measuring interactions in highly-configurable systems . In 31st Proceedings of the International Conference on Automated Software Engineering (ASE). 483--494 . J. Meinicke, C. Wong, C. K\u00e4stner, T. Th\u00fcm, and Gunter S. 2016. On essential configuration complexity: measuring interactions in highly-configurable systems. In 31st Proceedings of the International Conference on Automated Software Engineering (ASE). 483--494."},{"key":"e_1_3_2_1_50_1","unstructured":"Metrics. [n. d.]. Metrics. ([n. d.]). http:\/\/metrics.sourceforge.net\/ Accessed 16-nov-2019.  Metrics. [n. d.]. Metrics. ([n. d.]). http:\/\/metrics.sourceforge.net\/ Accessed 16-nov-2019."},{"key":"e_1_3_2_1_51_1","unstructured":"Mockito. [n. d.]. Mockito. ([n. d.]). https:\/\/site.mockito.org\/ Accessed 16-nov-2019.  Mockito. [n. d.]. Mockito. ([n. d.]). https:\/\/site.mockito.org\/ Accessed 16-nov-2019."},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 36th International Conference on Software Engineering (ICSE). 907--918","author":"Nguyen H. V.","unstructured":"H. V. Nguyen , C. K\u00e4stner , and T. N. Nguyen . 2014. Exploring Variability-aware Execution for Testing Plugin-based Web Applications . In Proceedings of the 36th International Conference on Software Engineering (ICSE). 907--918 . H. V. Nguyen, C. K\u00e4stner, and T. N. Nguyen. 2014. Exploring Variability-aware Execution for Testing Plugin-based Web Applications. In Proceedings of the 36th International Conference on Software Engineering (ICSE). 907--918."},{"key":"e_1_3_2_1_53_1","volume-title":"In 1st International Workshop on Advances in Model-based Testing (A-MOST). 1--7.","author":"Olimpiew E. M.","unstructured":"E. M. Olimpiew and H. Gomaa . 2005. Model-based Testing for Applications Derived from Software Product Lines . In In 1st International Workshop on Advances in Model-based Testing (A-MOST). 1--7. E. M. Olimpiew and H. Gomaa. 2005. Model-based Testing for Applications Derived from Software Product Lines. In In 1st International Workshop on Advances in Model-based Testing (A-MOST). 1--7."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"S. Oster F. Markert and P. Ritter. 2010. Automated Incremental Pairwise Testing of Software Product Lines. In Software Product Lines: Going Beyond Jan Bosch and Jaejoon Lee (Eds.). 196--210.  S. Oster F. Markert and P. Ritter. 2010. Automated Incremental Pairwise Testing of Software Product Lines. In Software Product Lines: Going Beyond Jan Bosch and Jaejoon Lee (Eds.). 196--210.","DOI":"10.1007\/978-3-642-15579-6_14"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"C. Pacheco and M. D. Ernst. 2007. Randoop: feedback-directed random testing for Java. In OOPSLA Companion. 815--816.  C. Pacheco and M. D. Ernst. 2007. Randoop: feedback-directed random testing for Java. In OOPSLA Companion. 815--816.","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_56_1","volume-title":"Faults in Linux: Ten Years Later. In In 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 305--318","author":"Palix N.","unstructured":"N. Palix , G. Thomas , S. Saha , C. Calv\u00e8s , J. Lawall , and G. Muller . 2011 . Faults in Linux: Ten Years Later. In In 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 305--318 . N. Palix, G. Thomas, S. Saha, C. Calv\u00e8s, J. Lawall, and G. Muller. 2011. Faults in Linux: Ten Years Later. In In 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 305--318."},{"key":"e_1_3_2_1_57_1","volume-title":"International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 32--39","author":"Papadakis M.","unstructured":"M. Papadakis , T. T. Chekam , and Y. Le Traon . 2018. Mutant quality indicators . In International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 32--39 . M. Papadakis, T. T. Chekam, and Y. Le Traon. 2018. Mutant quality indicators. In International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 32--39."},{"key":"e_1_3_2_1_58_1","volume-title":"In 40th International Conference on Software Engineering (ICSE). 537--548","author":"Papadakis M.","unstructured":"M. Papadakis , D. Shin , S. Yoo , and D. Bae . 2018. Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults . In In 40th International Conference on Software Engineering (ICSE). 537--548 . M. Papadakis, D. Shin, S. Yoo, and D. Bae. 2018. Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults. In In 40th International Conference on Software Engineering (ICSE). 537--548."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"G. Perrouin S. Oster S. Sen J. Klein B. Baudry and Y. Traon. 2012. Pairwise Testing for Software Product Lines: Comparison of Two Approaches. Software Quality Journal (2012) 605--643.  G. Perrouin S. Oster S. Sen J. Klein B. Baudry and Y. Traon. 2012. Pairwise Testing for Software Product Lines: Comparison of Two Approaches. Software Quality Journal (2012) 605--643.","DOI":"10.1007\/s11219-011-9160-9"},{"key":"e_1_3_2_1_60_1","volume-title":"In 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE). 163--171","author":"Petrovi\u0107 G.","unstructured":"G. Petrovi\u0107 and M. Ivankovi\u0107 . 2018. State of mutation testing at google . In In 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE). 163--171 . G. Petrovi\u0107 and M. Ivankovi\u0107. 2018. State of mutation testing at google. In In 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE). 163--171."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"K. Pohl and A. Metzger. 2006. Software Product Line Testing. Information and Software Technology (IST) (2006) 78--81.  K. Pohl and A. Metzger. 2006. Software Product Line Testing. Information and Software Technology (IST) (2006) 78--81.","DOI":"10.1145\/1183236.1183271"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"A. B. S\u00e1nchez S. Segura J. A. Parejo and A. R. Cort\u00e9s. 2017. Variability testing in the wild: the Drupal case study. Software and Systems Modeling (SoSyM) (2017) 173--194.  A. B. S\u00e1nchez S. Segura J. A. Parejo and A. R. Cort\u00e9s. 2017. Variability testing in the wild: the Drupal case study. Software and Systems Modeling (SoSyM) (2017) 173--194.","DOI":"10.1007\/s10270-015-0459-z"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.12.003"},{"key":"e_1_3_2_1_64_1","volume-title":"ClabureDB: Classified Bug-Reports Database. In International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI). 268--274","author":"Slaby J.","unstructured":"J. Slaby , J. Strej\u010dek , and M. Trt\u00edk . 2013 . ClabureDB: Classified Bug-Reports Database. In International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI). 268--274 . J. Slaby, J. Strej\u010dek, and M. Trt\u00edk. 2013. ClabureDB: Classified Bug-Reports Database. In International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI). 268--274."},{"key":"e_1_3_2_1_65_1","volume-title":"In 39th Proceedings of the International Conference on Software Engineering (ICSE). 632--642","author":"Souto S.","unstructured":"S. Souto , M. d' Amorim , and R. Gheyi . 2017. Balancing soundness and efficiency for practical testing of configurable systems . In In 39th Proceedings of the International Conference on Software Engineering (ICSE). 632--642 . S. Souto, M. d'Amorim, and R. Gheyi. 2017. Balancing soundness and efficiency for practical testing of configurable systems. In In 39th Proceedings of the International Conference on Software Engineering (ICSE). 632--642."},{"key":"e_1_3_2_1_66_1","unstructured":"spl2go. [n. d.]. SPL2go. ([n. d.]). http:\/\/spl2go.cs.ovgu.de\/projects\/ Accessed 10-nov-2019.  spl2go. [n. d.]. SPL2go. ([n. d.]). http:\/\/spl2go.cs.ovgu.de\/projects\/ Accessed 10-nov-2019."},{"key":"e_1_3_2_1_67_1","volume-title":"Software: Practice and experience (SPE)","author":"Svahnberg M.","year":"2005","unstructured":"M. Svahnberg , J. Van Gurp , and J. Bosch . 2005 . A taxonomy of variability realization techniques. Software: Practice and experience (SPE) (2005), 705--754. M. Svahnberg, J. Van Gurp, and J. Bosch. 2005. A taxonomy of variability realization techniques. Software: Practice and experience (SPE) (2005), 705--754."},{"key":"e_1_3_2_1_68_1","volume-title":"In 7th International Conference on Software Testing, Verification and Validation (ICST). 41--50","author":"S\u00e1nchez A. B.","unstructured":"A. B. S\u00e1nchez , S. Segura , and A. Ruiz-Cort\u00e9s . 2014. A Comparison of Test Case Prioritization Criteria for Software Product Lines . In In 7th International Conference on Software Testing, Verification and Validation (ICST). 41--50 . A. B. S\u00e1nchez, S. Segura, and A. Ruiz-Cort\u00e9s. 2014. A Comparison of Test Case Prioritization Criteria for Software Product Lines. In In 7th International Conference on Software Testing, Verification and Validation (ICST). 41--50."},{"key":"e_1_3_2_1_69_1","unstructured":"Test4cs2020. [n. d.]. Test4CS Dataset. ([n. d.]). https:\/\/fischerjf.github.io\/vamos2020\/ Accessed 15-nov-2019.  Test4cs2020. [n. d.]. Test4CS Dataset. ([n. d.]). https:\/\/fischerjf.github.io\/vamos2020\/ Accessed 15-nov-2019."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"crossref","unstructured":"T. Th\u00fcm C. K\u00e4stner F. Benduhn J. Meinicke G. Saake and T. Leich. 2014. FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming (SCP) (2014) 70--85.  T. Th\u00fcm C. K\u00e4stner F. Benduhn J. Meinicke G. Saake and T. Leich. 2014. FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming (SCP) (2014) 70--85.","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_71_1","unstructured":"Guidsl Tool. [n. d.]. Guidsl Tool. ([n. d.]). https:\/\/www.cs.utexas.edu\/~schwartz\/ATS\/fopdocs\/guidsl.html Accessed 22-Oct-2018.  Guidsl Tool. [n. d.]. Guidsl Tool. ([n. d.]). https:\/\/www.cs.utexas.edu\/~schwartz\/ATS\/fopdocs\/guidsl.html Accessed 22-Oct-2018."},{"key":"e_1_3_2_1_72_1","volume-title":"In 19th International Conference on Software Product Line (SPLC). 176--185","author":"Vale G.","unstructured":"G. Vale , D. Albuquerque , E. Figueiredo , and A. Garcia . 2015. Defining metric thresholds for software product lines: a comparative study . In In 19th International Conference on Software Product Line (SPLC). 176--185 . G. Vale, D. Albuquerque, E. Figueiredo, and A. Garcia. 2015. Defining metric thresholds for software product lines: a comparative study. In In 19th International Conference on Software Product Line (SPLC). 176--185."},{"key":"e_1_3_2_1_73_1","volume-title":"Bad Smells in Software Product Lines: A Systematic Review. In In 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS).","author":"Vale G.","unstructured":"G. Vale , E. Figueiredo , R. Ab\u00edlio , and H. Costa . 2014 . Bad Smells in Software Product Lines: A Systematic Review. In In 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). G. Vale, E. Figueiredo, R. Ab\u00edlio, and H. Costa. 2014. Bad Smells in Software Product Lines: A Systematic Review. In In 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)."},{"key":"e_1_3_2_1_74_1","volume-title":"Proceedings of the ACM on Programming Languages (OOPSLA)","author":"Wong C.","year":"2018","unstructured":"C. Wong , J. Meinicke , L. Lazarek , and C. K\u00e4stner . 2018. Faster variational execution with transparent bytecode transformation . Proceedings of the ACM on Programming Languages (OOPSLA) ( 2018 ). C. Wong, J. Meinicke, L. Lazarek, and C. K\u00e4stner. 2018. Faster variational execution with transparent bytecode transformation. Proceedings of the ACM on Programming Languages (OOPSLA) (2018)."}],"event":{"name":"VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems","location":"Magdeburg Germany","acronym":"VaMoS '20"},"container-title":["Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377045","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377024.3377045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:49Z","timestamp":1750202629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,5]]},"references-count":74,"alternative-id":["10.1145\/3377024.3377045","10.1145\/3377024"],"URL":"https:\/\/doi.org\/10.1145\/3377024.3377045","relation":{},"subject":[],"published":{"date-parts":[[2020,2,5]]},"assertion":[{"value":"2020-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}