{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:30:39Z","timestamp":1760596239731},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T00:00:00Z","timestamp":1418169600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10664-014-9345-5","type":"journal-article","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T08:06:58Z","timestamp":1418112418000},"page":"1586-1622","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["A systematic test case selection methodology for product lines: results and insights from an industrial case study"],"prefix":"10.1007","volume":"21","author":[{"given":"Shuai","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Liaaen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"9345_CR1","doi-asserted-by":"crossref","unstructured":"Alf\u00e9rez M, Lopez-Herrejon R, Moreira A, Amaral V, Egyed A (2011) Supporting consistency checking between features and software product line use scenarios, In Schmid, K. (Ed.) Top productivity through software reuse. Springer Berlin Heidelberg, pp. 20\u201335","DOI":"10.1007\/978-3-642-21347-2_3"},{"key":"9345_CR2","unstructured":"Barros MdO, Neto ACD (2011) Threats to validity in search-based software engineering empirical studies. UNIRIO - Universidade Federal do Estado do Rio de Janeiro0006\/2011"},{"key":"9345_CR3","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, Ruiz-Cort\u00e9s A (2010) Automated analysis of feature models 20 years later: a literature review. Inf Syst 35:615\u2013636","journal-title":"Inf Syst"},{"key":"9345_CR4","first-page":"1","volume-title":"Modeling and building software product lines with pure::variants, proceedings of the 15th international software product line conference","author":"D Beuche","year":"2011","unstructured":"Beuche D (2011) Modeling and building software product lines with pure::variants, proceedings of the 15th international software product line conference, vol 2. ACM, Munich, pp 1\u20131"},{"key":"9345_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/367008.367015","volume":"10","author":"J Bible","year":"2001","unstructured":"Bible J, Rothermel G, Rosenblum DS (2001) A comparative study of coarse- and fine-grained safe regression test-selection techniques. ACM Trans Softw Eng Methodol 10:149\u2013183","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"9345_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot J, Claris\u00f3 R, Riera D (2014) On the verification of UML\/OCL class diagrams using constraint programming. J Syst Softw 93:1\u201323","journal-title":"J Syst Softw"},{"key":"9345_CR7","first-page":"1","volume-title":"Specification-based regression test selection with risk analysis, proceedings of the 2002 conference of the centre for advanced studies on collaborative research","author":"Y Chen","year":"2002","unstructured":"Chen Y, Probert RL, Sims DP (2002) Specification-based regression test selection with risk analysis, proceedings of the 2002 conference of the centre for advanced studies on collaborative research. IBM Press, Toronto, p 1"},{"key":"9345_CR8","unstructured":"CiscoSystems C (2010) Cisco telepresence codec c90, data sheet"},{"key":"9345_CR9","first-page":"53","volume-title":"Coverage and adequacy in software product line testing, proceedings of the ISSTA 2006 workshop on role of software architecture for testing and analysis","author":"MB Cohen","year":"2006","unstructured":"Cohen MB, Dwyer MB, Shi J (2006) Coverage and adequacy in software product line testing, proceedings of the ISSTA 2006 workshop on role of software architecture for testing and analysis. ACM, Portland, pp 53\u201363"},{"key":"9345_CR10","first-page":"422","volume-title":"Mapping features to models: a template approach based on superimposed variants, proceedings of the 4th international conference on generative programming and component engineering","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki K, Antkiewicz M (2005) Mapping features to models: a template approach based on superimposed variants, proceedings of the 4th international conference on generative programming and component engineering. Springer, Tallinn, pp 422\u2013437"},{"key":"9345_CR11","first-page":"211","volume-title":"Verifying feature-based model templates against well-formedness OCL constraints, proceedings of the 5th international conference on generative programming and component engineering","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki K, Pietroszek K (2006) Verifying feature-based model templates against well-formedness OCL constraints, proceedings of the 5th international conference on generative programming and component engineering. ACM, Portland, pp 211\u2013220"},{"key":"9345_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Kim CHP, Kalleberg KT (2006) Feature models are views on ontologies, proceedings of the 10th international on software product line conference. IEEE computer society, pp. 41\u201351","DOI":"10.1109\/SPLINE.2006.1691576"},{"key":"9345_CR13","first-page":"381","volume-title":"Instant consistency checking for the UML, proceedings of the 28th international conference on Software engineering","author":"A Egyed","year":"2006","unstructured":"Egyed A (2006) Instant consistency checking for the UML, proceedings of the 28th international conference on Software engineering. ACM, Shanghai, pp 381\u2013390"},{"key":"9345_CR14","doi-asserted-by":"crossref","unstructured":"Engstrom E (2010a) Regression test selection and product line system testing, software testing, verification and validation (ICST), 2010 third international conference on, pp. 512\u2013515","DOI":"10.1109\/ICST.2010.45"},{"key":"9345_CR15","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.infsof.2009.07.001","volume":"52","author":"E Engstrom","year":"2010","unstructured":"Engstrom E, Runeson P, Skoglund M (2010) A systematic review on regression test selection techniques. Inf Softw Technol 52:14\u201330","journal-title":"Inf Softw Technol"},{"key":"9345_CR16","first-page":"98","volume-title":"MINION: a fast, scalable, constraint solver, proceedings of the 2006 conference on ecai 2006: 17th European conference on artificial intelligence August 29 -- September 1, 2006, Riva del Garda","author":"IP Gent","year":"2006","unstructured":"Gent IP, Jefferson C, Miguel I (2006) MINION: a fast, scalable, constraint solver, proceedings of the 2006 conference on ecai 2006: 17th European conference on artificial intelligence August 29 -- September 1, 2006, Riva del Garda. Ios Press, Italy, pp 98\u2013102"},{"key":"9345_CR17","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367008.367020","volume":"10","author":"TL Graves","year":"2001","unstructured":"Graves TL, Harrold MJ, Kim J-M, Porter A, Rothermel G (2001) An empirical study of regression test selection techniques. ACM Trans Softw Eng Methodol 10:184\u2013208","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"9345_CR18","unstructured":"Harrold MJ, Souffa ML (1988) An incremental approach to unit testing during maintenance, software maintenance, 1988., proceedings of the conference on, pp. 362\u2013367."},{"key":"9345_CR19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/52.43047","volume":"7","author":"J Hartmann","year":"1990","unstructured":"Hartmann J, Robson DJ (1990) Techniques for selective revalidation. IEEE Softw 7:31\u201336","journal-title":"IEEE Softw"},{"key":"9345_CR20","first-page":"943","volume-title":"FeatureMapper: mapping features to models, companion of the 30th international conference on software engineering","author":"F Heidenreich","year":"2008","unstructured":"Heidenreich F, Kopcsek J, Wende C (2008) FeatureMapper: mapping features to models, companion of the 30th international conference on software engineering. ACM, Leipzig, pp 943\u2013944"},{"key":"9345_CR21","doi-asserted-by":"crossref","unstructured":"Heidenreich F, Sanchez P, Santos J, Zschaler S, Alferez M, Araujo J, Fuentes L, Kulesza U, Moreira A, Rashid A (2010) Relating feature models to other models of a software product line: a comparative study of featuremapper and VML, in: Shmuel, K., Mira, M. (Eds.) Transactions on aspect-oriented software development VII. Springer-Verlag, pp. 69\u2013114","DOI":"10.1007\/978-3-642-16086-8_3"},{"key":"9345_CR22","doi-asserted-by":"crossref","unstructured":"Kang K, Cohen, Sholom, Hess, James, Novak, William, & Peterson A, (1990) Feature-Oriented Domain Analysis (FODA) feasibility study (CMU\/SEI-90-TR-021). Software Engineering Institute, Carnegie Mellon University","DOI":"10.21236\/ADA235785"},{"key":"9345_CR23","unstructured":"Lauenroth K, Pohl K (2008) Dynamic consistency checking of domain requirements in product line engineering, International Requirements Engineering, 2008. RE '08. 16th IEEE, pp. 193\u2013202"},{"key":"9345_CR24","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0164-1212(00)00119-9","volume":"57","author":"N Mansour","year":"2001","unstructured":"Mansour N, Bahsoon R, Baradhi G (2001) Empirical comparison of regression test selection algorithms. J Syst Softw 57:79\u201390","journal-title":"J Syst Softw"},{"key":"9345_CR25","volume-title":"Testing a software product line (CMU\/SEI-2001-TR-022), software engineering institute","author":"J McGregor","year":"2001","unstructured":"McGregor J (2001) Testing a software product line (CMU\/SEI-2001-TR-022), software engineering institute. Carnegie Mellon University, Pittsburgh"},{"key":"9345_CR26","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S1571-0661(04)81029-6","volume":"82","author":"H Muccini","year":"2003","unstructured":"Muccini H, van der Hoek A (2003) Towards testing product line architectures. Electron Notes Theor Comput Sci 82:99\u2013109","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9345_CR27","doi-asserted-by":"crossref","unstructured":"Nebut C, Traon Y, Jezequel J.-M (2006). System testing of product lines: from requirements to test cases, In K\u00e4k\u00f6la T, Duenas J (Eds.) Software product lines. Springer Berlin Heidelberg, pp. 447\u2013477","DOI":"10.1007\/978-3-540-33253-4_12"},{"key":"9345_CR28","unstructured":"Orso A, Harrold MJ, Rosenblum D, Rothermel G, Soffa ML, Do H (2001) Using component metacontent to support the regression testing of component-based software, software maintenance, 2001. Proceedings. IEEE International Conference on, pp. 716\u2013725"},{"key":"9345_CR29","unstructured":"Puresystems G (2006) Variant management with pure::variants, technical white paper"},{"key":"9345_CR30","unstructured":"Scheidemann KD (2006) Optimizing the selection of representative configurations in verification of evolving product lines of distributed embedded systems, software product line conference, 2006 10th International, pp. 75\u201384"},{"key":"9345_CR31","unstructured":"Sheskin DJ (2007) Handbook of parametric and nonparametric statistical procedures. Chapman \\& Hall\/CRC"},{"key":"9345_CR32","first-page":"95","volume-title":"Safe composition of product lines, proceedings of the 6th international conference on Generative programming and component engineering","author":"S Thaker","year":"2007","unstructured":"Thaker S, Batory D, Kitchin D, Cook W (2007) Safe composition of product lines, proceedings of the 6th international conference on Generative programming and component engineering. ACM, Salzburg, pp 95\u2013104"},{"key":"9345_CR33","unstructured":"Vierhauser M, Gr P, #252, nbacher, Egyed A, Rabiser R, Heider W (2010) Flexible and scalable consistency checking on product line variability models, proceedings of the IEEE\/ACM international conference on automated software engineering. ACM, Antwerp, Belgium, pp. 63\u201372"},{"key":"9345_CR34","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/2425415.2425422","volume-title":"Automatic selection of test execution plans from a video conferencing system product line, proceedings of the variability for you workshop: variability modeling made useful for everyone","author":"S Wang","year":"2012","unstructured":"Wang S, Gotlieb A, Liaaen M, Briand LC (2012) Automatic selection of test execution plans from a video conferencing system product line, proceedings of the variability for you workshop: variability modeling made useful for everyone. ACM, Innsbruck, pp 32\u201337"},{"key":"9345_CR35","doi-asserted-by":"crossref","first-page":"1493","DOI":"10.1145\/2463372.2463545","volume-title":"Minimizing test suites in software product lines using weight-based genetic algorithms, proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference","author":"S Wang","year":"2013","unstructured":"Wang S, Ali S, Gotlieb A (2013a) Minimizing test suites in software product lines using weight-based genetic algorithms, proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference. ACM, Amsterdam, pp 1493\u20131500"},{"key":"9345_CR36","doi-asserted-by":"crossref","unstructured":"Wang S, Ali S, Tao Y, Liaaen M, (2013b) Using feature model to support model-based testing of product lines: an Industrial Case Study, Quality Software (QSIC), 2013 13th international conference on, pp. 75\u201384","DOI":"10.1109\/QSIC.2013.51"},{"key":"9345_CR37","doi-asserted-by":"crossref","unstructured":"Wang S, Gotlieb A, Ali S, Liaaen M (2013a) Automated test case selection using feature model: an industrial case study, In Moreira A, Sch\u00e4tz B, Gray J, Vallecillo A, Clarke P (Eds.) Model-driven engineering languages and systems. Springer Berlin Heidelberg, pp. 237\u2013253","DOI":"10.1007\/978-3-642-41533-3_15"},{"key":"9345_CR38","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0020-0190(98)00144-6","volume":"68","author":"JP Warners","year":"1998","unstructured":"Warners JP (1998) A linear-time transformation of linear inequalities into conjunctive normal form. Inf Process Lett 68:63\u201369","journal-title":"Inf Process Lett"},{"key":"9345_CR39","doi-asserted-by":"crossref","unstructured":"Wohlin C, Runeson P, Host M, Ohlsson MC, Regnell B, Wesslen A (2000) Experimentation in software engineering: an introduction. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"9345_CR40","unstructured":"Yih-Farn C, Rosenblum DS, Vo KP, (1994) TESTTUBE: a system for selective regression testing, software engineering, 1994. Proceedings. ICSE-16., 16th International Conference on, pp. 211\u2013220"},{"key":"9345_CR41","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo S, Harman M (2012) Regression testing minimization, selection and prioritization: a survey. Softw Test Verif Reliab 22:67\u2013120","journal-title":"Softw Test Verif Reliab"},{"key":"9345_CR42","doi-asserted-by":"crossref","unstructured":"Zschaler S, S\u00e1nchez P, Santos J, Alf\u00e9rez M, Rashid A, Fuentes L, Moreira A, Ara\u00fajo J, Kulesza U (2010) VML* \u2013 a family of languages for variability management in software product lines, In Brand M, Ga\u0161evi\u0107 D, Gray J (Eds.) Software Language Engineering. Springer Berlin Heidelberg, pp. 82\u2013102","DOI":"10.1007\/978-3-642-12107-4_7"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9345-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-014-9345-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9345-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T08:16:15Z","timestamp":1566116175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-014-9345-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,10]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9345"],"URL":"https:\/\/doi.org\/10.1007\/s10664-014-9345-5","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,10]]}}}