{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T15:47:39Z","timestamp":1792943259099,"version":"4.5.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31095-9_40","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T06:08:19Z","timestamp":1342246099000},"page":"613-628","source":"Crossref","is-referenced-by-count":46,"title":["Evolutionary Search-Based Test Generation for Software Product Line Feature Models"],"prefix":"10.1007","author":[{"given":"Faezeh","family":"Ensan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ebrahim","family":"Bagheri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dragan","family":"Ga\u0161evi\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Bagheri, E., Deldari, H.: Dejong function optimization by means of a parallel approach to fuzzified genetic algorithm. In: IEEE Symposium on Computers and Communications, pp. 675\u2013680 (2006)","DOI":"10.1109\/ISCC.2006.57"},{"issue":"3","key":"40_CR2","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/s11219-010-9127-2","volume":"19","author":"E. Bagheri","year":"2011","unstructured":"Bagheri, E., Gasevic, D.: Assessing the maintainability of software product line feature models using structural metrics. Software Quality Journal\u00a019(3), 579\u2013612 (2011)","journal-title":"Software Quality Journal"},{"key":"40_CR3","unstructured":"Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortes, A.: FAMA: Tooling a framework for the automated analysis of feature models. In: Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), pp. 129\u2013134 (2007)"},{"key":"40_CR4","unstructured":"Buehler, O., Wegener, J.: Evolutionary functional testing of an automated parking system. In: International Conference on Computer, Communication and Control Technologies (CCCT 2003). Citeseer (2003)"},{"key":"40_CR5","unstructured":"Clements, P., Northrop, L.M.: Software product lines (2003), \n                    \n                      http:\/\/www.sei.cmu.edu\/programs\/pls\/sw-product-lines_05_03.pdf\n                    \n                    \n                   (visited June 2009)"},{"key":"40_CR6","unstructured":"Coello, C., Lamont, G., Van Veldhuizen, D.: Evolutionary algorithms for solving multi-objective problems. Springer-Verlag New York Inc. (2007)"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Coverage and adequacy in software product line testing. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, p. 63. ACM (2006)","DOI":"10.1145\/1147249.1147257"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1147249.1147257","volume-title":"Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA 2006","author":"M.B. Cohen","year":"2006","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and adequacy in software product line testing. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA 2006, pp. 53\u201363. ACM, New York (2006)"},{"issue":"5","key":"40_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.4304\/jsw.3.5.11-25","volume":"3","author":"J. Dallal","year":"2008","unstructured":"Dallal, J., Sorenson, P.: Testing software assets of framework-based product families during application engineering stage. Journal of Software\u00a03(5), 11 (2008)","journal-title":"Journal of Software"},{"key":"40_CR10","unstructured":"Goldberg, D.: Genetic Algorithms in Search and Optimization (1989)"},{"issue":"4","key":"40_CR11","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2002.1020288","volume":"19","author":"K. Kang","year":"2002","unstructured":"Kang, K., Lee, J., Donohoe, P.: Feature-oriented product line engineering. IEEE Software\u00a019(4), 58\u201365 (2002)","journal-title":"IEEE Software"},{"issue":"4","key":"40_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/B:AUSE.0000038938.10589.b9","volume":"11","author":"S. Khurshid","year":"2004","unstructured":"Khurshid, S., Marinov, D.: TestEra: Specification-based testing of Java programs using SAT. Automated Software Engineering\u00a011(4), 403\u2013434 (2004)","journal-title":"Automated Software Engineering"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Kim, C., Batory, D., Khurshid, S.: Reducing Combinatorics in Testing Product Lines (Technical Report), UTexas (2010)","DOI":"10.1145\/1960275.1960284"},{"key":"40_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-46020-9_5","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"K. Lee","year":"2002","unstructured":"Lee, K., Kang, K., Lee, J.: Concepts and Guidelines of Feature Modeling for Product Line Software Engineering. In: Gacek, C. (ed.) ICSR 2002. LNCS, vol.\u00a02319, pp. 62\u201377. Springer, Heidelberg (2002)"},{"issue":"2","key":"40_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliability"},{"key":"40_CR16","unstructured":"Meffert, K., Rotstan, N., Knowles, C., Sangiorgi, U.: JGAP\u2013Java Genetic Algorithms and Genetic Programming Package, \n                    \n                      http:\/\/jgap.sf.net"},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1449913.1449918","volume-title":"Proceedings of the 7th International Conference on Generative Programming and Component Engineering","author":"M. Mendonca","year":"2008","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K., Cowan, D.: Efficient compilation techniques for large scale feature models. In: Proceedings of the 7th International Conference on Generative Programming and Component Engineering, pp. 13\u201322. ACM, New York (2008)"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.p.l.o.t.: software product lines online tools. In: OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761\u2013762 (2009)","DOI":"10.1145\/1639950.1640002"},{"key":"40_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-24667-1_15","volume-title":"Software Product-Family Engineering","author":"C. Nebut","year":"2004","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., J\u00e9z\u00e9quel, J.-M.: A Requirement-Based Approach to Test Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 198\u2013210. Springer, Heidelberg (2004)"},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Olimpiew, E., Gomaa, H.: Model-based testing for applications derived from software product lines. In: Proceedings of the 1st International Workshop on Advances in Model-based Testing, p. 7. ACM (2005)","DOI":"10.1145\/1082983.1083279"},{"key":"40_CR21","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: ICST 2010, pp. 459\u2013468 (2010)","DOI":"10.1109\/ICST.2010.43"},{"key":"40_CR22","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"issue":"12","key":"40_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2006","unstructured":"Pohl, K., Metzger, A.: Software product line testing. Communications of the ACM\u00a049(12), 81 (2006)","journal-title":"Communications of the ACM"},{"key":"40_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-71289-3_25","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Reis","year":"2007","unstructured":"Reis, S., Metzger, A., Pohl, K.: Integration Testing in Software Product Line Engineering: A Model-Based Technique. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"40_CR25","unstructured":"Scheidemann, K.: Optimizing the selection of representative configurations in verification of evolving product lines of distributed embedded systems, SPLC 2006 (2006)"},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"Segura, S., Hierons, R., Benavides, D., Ruiz-Cort\u00e9s, A.: Automated test data generation on the analyses of feature models: A metamorphic testing approach. In: ICST 2010, pp. 35\u201344 (2010)","DOI":"10.1109\/ICST.2010.20"},{"key":"40_CR27","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K.: Automated program flaw finding using simulated annealing. In: Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, p. 81. ACM (1998)","DOI":"10.1145\/271771.271792"},{"key":"40_CR28","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.S.: A specification-based approach to testing software product lines. In: ESEC\/SIGSOFT FSE, pp. 525\u2013528 (2007)","DOI":"10.1145\/1287624.1287701"},{"issue":"3","key":"40_CR29","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.S.: Incremental test generation for software product lines. IEEE Trans. Software Eng.\u00a036(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"40_CR30","unstructured":"Watkins, A.: The automatic generation of test data using genetic algorithms. In: Proceedings of the 4th Software Quality Conference, vol.\u00a02, pp. 300\u2013309 (1995)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31095-9_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:04:05Z","timestamp":1556921045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31095-9_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319981765","9783319981772"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31095-9_40","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}