{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:39:39Z","timestamp":1743071979952,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319557915"},{"type":"electronic","value":"9783319557922"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-55792-2_1","type":"book-chapter","created":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T10:39:30Z","timestamp":1490351970000},"page":"3-19","source":"Crossref","is-referenced-by-count":4,"title":["Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines"],"prefix":"10.1007","author":[{"given":"Javier","family":"Ferrer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Chicano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Alba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,25]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., Bockle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E Engstr\u00f6m","year":"2011","unstructured":"Engstr\u00f6m, E., Runeson, P.: Software product line testing - a systematic mapping study. Inf. Softw. Technol. 53(1), 2\u201313 (2011)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"da Mota Silveira Neto, P.A., do Carmo Machado, I., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53(5), 407\u2013423 (2011)","key":"1_CR3","DOI":"10.1016\/j.infsof.2010.12.003"},{"doi-asserted-by":"crossref","unstructured":"Lee, J., Kang, S., Lee, D.: A survey on software product line testing. In: de Almeida, E.S., Schwanninger, C., Benavides, D. (eds.) SPLC, vol. 1, pp. 31\u201340. ACM (2012)","key":"1_CR4","DOI":"10.1145\/2362536.2362545"},{"doi-asserted-by":"crossref","unstructured":"do Carmo Machado, I., McGregor, J.D., de Almeida, E.S.: Strategies for testing products in software product lines. Softw. Eng. Notes 37(6), 1\u20138 (2012)","key":"1_CR5","DOI":"10.1145\/2382756.2382783"},{"doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Traon, Y.L.: Automated and scalable t-wise test case generation strategies for software product lines. In: ICST, pp. 459\u2013468. IEEE Computer Society (2010)","key":"1_CR6","DOI":"10.1109\/ICST.2010.43"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-15579-6_14","volume-title":"Software Product Lines: Going Beyond","author":"S Oster","year":"2010","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated incremental pairwise testing of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 196\u2013210. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15579-6_14"},{"issue":"1","key":"1_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10664-010-9135-7","volume":"16","author":"BJ Garvin","year":"2011","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Softw. Eng. 16(1), 61\u2013102 (2011)","journal-title":"Empirical Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Hervieu, A., Baudry, B., Gotlieb, A.: PACOGEN: automatic generation of pairwise test configurations from feature models. In: ISSRE, pp. 120\u2013129 (2011)","key":"1_CR9","DOI":"10.1109\/ISSRE.2011.31"},{"issue":"3\u20134","key":"1_CR10","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s11219-011-9165-4","volume":"20","author":"M Lochau","year":"2012","unstructured":"Lochau, M., Oster, S., Goltz, U., Sch\u00fcrr, A.: Model-based pairwise testing for feature interaction coverage in software product line engineering. Softw. Qual. J. 20(3\u20134), 567\u2013604 (2012)","journal-title":"Softw. Qual. J."},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-24485-8_31","volume-title":"Model Driven Engineering Languages and Systems","author":"H Cichos","year":"2011","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-based coverage-driven test suite generation for software product lines. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 425\u2013439. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24485-8_31"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/978-3-642-31095-9_40","volume-title":"Advanced Information Systems Engineering","author":"F Ensan","year":"2012","unstructured":"Ensan, F., Bagheri, E., Ga\u0161evi\u0107, D.: Evolutionary search-based test generation for software product line feature models. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 613\u2013628. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31095-9_40"},{"key":"1_CR13","volume-title":"Construct, Merge, Solve and Adapt: Application to the Repetition-Free Longest Common Subsequence Problem","author":"C Blum","year":"2016","unstructured":"Blum, C., Blesa, M.J.: Construct, Merge, Solve and Adapt: Application to the Repetition-Free Longest Common Subsequence Problem. Springer International Publishing, Cham (2016). 46\u201357"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-33666-9_18","volume-title":"Model Driven Engineering Languages and Systems","author":"MF Johansen","year":"2012","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F., Eldegard, A.G., Syversen, T.: Generating better partial covering arrays by modeling weights on sub-product lines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 269\u2013284. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33666-9_18"},{"doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R.E., Ferrer, J., Chicano, F., Haslinger, E.N., Egyed, A., Alba, E.: A parallel evolutionary algorithm for prioritized pairwise testing of software product lines. In: GECCO 2014, pp. 1255\u20131262. ACM, New York (2014)","key":"1_CR15","DOI":"10.1145\/2576768.2598305"},{"doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","key":"1_CR16","DOI":"10.21236\/ADA235785"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"RE Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A standard problem for evaluating product-line methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol. 2186, pp. 10\u201324. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44800-4_2"},{"issue":"5","key":"1_CR18","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"MB Cohen","year":"2008","unstructured":"Cohen, M.B., Dwyer, M.B., 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."},{"issue":"2","key":"1_CR19","first-page":"11:1","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"1_CR20","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Cort\u00e9s, A.R.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: Proceedings of the International Software Product Lines Conference, pp. 46\u201355 (2012)","key":"1_CR21","DOI":"10.1145\/2362536.2362547"},{"doi-asserted-by":"crossref","unstructured":"Sutton, A.M., Whitley, D., Howe, A.E.: A polynomial time computation of the exact correlation structure of k-satisfiability landscapes. In: Proceedings of the Annual Conference on Genetic and Evolutionary Computation, pp. 365\u2013372 (2009)","key":"1_CR22","DOI":"10.1145\/1569901.1569952"},{"issue":"3","key":"1_CR23","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/j.infsof.2012.07.020","volume":"55","author":"N Siegmund","year":"2013","unstructured":"Siegmund, N., Rosenm\u00fcller, M., K\u00e4stner, C., Giarrusso, P., Apel, S., Kolesnikov, S.: Scalable prediction of non-functional properties in software product lines: footprint and memory consumption. Inf. Softw. Technol. 55(3), 491\u2013507 (2013)","journal-title":"Inf. Softw. Technol."},{"unstructured":"Mendonca, M.: Software Product Line Online Tools (SPLOT) (2013). http:\/\/www.splot-research.org\/","key":"1_CR24"},{"key":"1_CR25","volume-title":"On the Effectiveness of Whole Test Suite Generation","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., Fraser, G.: On the Effectiveness of Whole Test Suite Generation. Springer International Publishing, Cham (2014). 1\u201315"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-55792-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:54:14Z","timestamp":1568940854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-55792-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319557915","9783319557922"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-55792-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}