{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:17:34Z","timestamp":1725866254242},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471051"},{"type":"electronic","value":"9783319471068"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47106-8_4","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:53:34Z","timestamp":1474617214000},"page":"49-63","source":"Crossref","is-referenced-by-count":9,"title":["Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Gargantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justyna","family":"Petke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Radavelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Vavassori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A., Vavassori, P.: Automatic detection and removal of conformance faults in feature models. In: 2016 IEEE 9th International Conference on Software Testing, Verification and Validation (ICST), April 2016","DOI":"10.1109\/ICST.2016.10"},{"issue":"4","key":"4_CR2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s10817-010-9171-4","volume":"45","author":"A Calvagna","year":"2010","unstructured":"Calvagna, A., Gargantini, A.: A formal logic approach to constrained combinatorial testing. J. Autom. Reason. 45(4), 331\u2013358 (2010). Springer","journal-title":"J. Autom. Reason."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Calvagna, A., Gargantini, A., Vavassori, P.: Combinatorial interaction testing with CitLab. In: Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool Track (2013)","DOI":"10.1109\/ICST.2013.53"},{"issue":"5","key":"4_CR4","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"M Cohen","year":"2008","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach. IEEE Trans. Softw. Eng. 34(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Davril, J.-M., Delfosse, E., Hariri, N., Acher, M., Clelang-Huang, J., Heymans, P.: Feature model extraction from large collections of informal product descriptions, 22 Aug 2013","DOI":"10.1145\/2491411.2491455"},{"key":"4_CR6","unstructured":"Ferreira, J.M., Vergilio, S.R., Quin\u00e1iaferreia, M.A.: A mutation approach to feature testing of software product lines. In: The 25th International Conference on Software Engineering and Knowledge (SEKE) Engineering, Boston, MA, USA, 27\u201329 June, pp. 232\u2013237 (2013)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Vavassori, P.: CitLab: a laboratory for combinatorial interaction testing. In: Workshop on Combinatorial Testing (CT) In conjunction with International Conference on Software Testing, ICST 2012, Montreal, Canada, 17\u201321 April, pp. 559\u2013568 (2012)","DOI":"10.1109\/ICST.2012.141"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: An improved meta-heuristic search for constrained interaction testing. In: 1st International Symposium on Search Based Software Engineering, pp. 13\u201322, May 2009","DOI":"10.1109\/SSBSE.2009.25"},{"issue":"3","key":"4_CR9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M Grindal","year":"2005","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: a survey. Softw. Test Verif. Reliab 15(3), 167\u2013199 (2005)","journal-title":"Softw. Test Verif. Reliab"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Krinke, J., Langdon, W.B., Petke, J., Zhang, Y.: Search based software engineering for software product line engineering: a survey and directions for future work. In: Proceedings of the 18th International Software Product Line Conference (SPLC 2014), pp. 5\u201318. ACM (2014)","DOI":"10.1145\/2648511.2648513"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Traon, Y.L.: Towards automated testing and fixing of re-engineered feature models. In: 35th International Conference on Software Engineering, ICSE 2013, San Francisco, CA, USA, 18\u201326 May, pp. 1245\u20131248 (2013)","DOI":"10.1109\/ICSE.2013.6606689"},{"issue":"5","key":"4_CR12","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Kuhn, D.R., Okun, V.: Pseudo-exhaustive testing for software. In: 30th Annual IEEE\/NASA Software Engineering Workshop (SEW-30 2006), 25\u201328 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 153\u2013158 (2006)","DOI":"10.1109\/SEW.2006.26"},{"issue":"6","key":"4_CR14","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"DR Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng 30(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng"},{"issue":"8","key":"4_CR15","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/MC.2009.253","volume":"42","author":"R Kuhn","year":"2009","unstructured":"Kuhn, R., Kacker, R., Lei, Y., Hunter, J.: Combinatorial software testing. Computer 42(8), 94\u201396 (2009)","journal-title":"Computer"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-642-33119-0_13","volume-title":"Search Based Software Engineering","author":"RE Lopez-Herrejon","year":"2012","unstructured":"Lopez-Herrejon, R.E., Galindo, J.A., Benavides, D., Segura, S., Egyed, A.: Reverse engineering feature models with evolutionary algorithms: an exploratory study. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 168\u2013182. Springer, Heidelberg (2012)"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.infsof.2015.01.008","volume":"61","author":"RE Lopez-Herrejon","year":"2015","unstructured":"Lopez-Herrejon, R.E., Linsbauer, L., Egyed, A.: A systematic mapping study of search-based software engineering for software product lines. Inf. Softw. Technol. 61, 33\u201351 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Nadi, S., Berger, T., K\u00e4stner, C., Czarnecki, K.: Mining configuration constraints: static analyses and empirical results. In: Jalote, P., Briand, L.C., van der Hoek, A. (eds.) ICSE, pp. 140\u2013151. ACM (2014)","DOI":"10.1145\/2568225.2568283"},{"issue":"2","key":"4_CR19","first-page":"11","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv 43(2), 11 (2011)","journal-title":"ACM Comput. Surv"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Le Traon, Y.: Automated and scalable t-wise test case generation strategies for software product lines. In: Proceedings of the International Conference on Software Testing (ICST), Paris, France, pp. 459\u2013468. IEEE, April 2010","DOI":"10.1109\/ICST.2010.43"},{"issue":"9","key":"4_CR21","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1109\/TSE.2015.2421279","volume":"41","author":"J Petke","year":"2015","unstructured":"Petke, J., Cohen, M.B., Harman, M., Yoo, S.: Practical combinatorial interaction testing: empirical findings on efficiency and early fault detection. IEEE Trans. Softw. Eng. 41(9), 901\u2013924 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Segall, I., Tzoref-Brill, R., Farchi, E.: Using binary decision diagrams for combinatorial test design. In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2011, pp. 254\u2013264. ACM (2011)","DOI":"10.1145\/2001420.2001451"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-642-28872-2_19","volume-title":"Fundamental Approaches to Software Engineering","author":"J Shi","year":"2012","unstructured":"Shi, J., Cohen, M.B., Dwyer, M.B.: Integration testing of software product lines using compositional symbolic execution. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 270\u2013284. Springer, Heidelberg (2012)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Tartler, R., Lohmann, D., Sincero, J., Schr\u00f6der-Preikschat, W.: Feature consistency in compile-time-configurable system software: facing the linux 10,000 feature problem. In: Proceedings of the Sixth Conference on Computer Systems, EuroSys 2011, pp. 47\u201360. ACM, New York (2011)","DOI":"10.1145\/1966445.1966451"},{"issue":"1","key":"4_CR25","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/TSE.2013.53","volume":"40","author":"C Yilmaz","year":"2014","unstructured":"Yilmaz, C., Dumlu, E., Cohen, M.B., Porter, A.A.: Reducing masking effects in combinatorial interaction testing: a feedback driven adaptive approach. IEEE Trans. Softw. Eng. 40(1), 43\u201366 (2014)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47106-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:16:37Z","timestamp":1568402197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47106-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471051","9783319471068"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47106-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}