{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:53Z","timestamp":1774602233432,"version":"3.50.1"},"publisher-location":"Cham","reference-count":96,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030309848","type":"print"},{"value":"9783030309855","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_18","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T17:53:39Z","timestamp":1570557219000},"page":"285-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A Decade of Featured Transition Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8312-1358","authenticated-orcid":false,"given":"Maxime","family":"Cordy","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0831-7606","authenticated-orcid":false,"given":"Xavier","family":"Devroey","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8431-0377","authenticated-orcid":false,"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Classen","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8677-4485","authenticated-orcid":false,"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Raskin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Al-Hajjaji, M., Th\u00fcm, T., Meinicke, J., Lochau, M., Saake, G.: Similarity-based prioritization in software product-line testing. In: 18th International Software Product Line Conference, SPLC 2014, Florence, Italy, 15\u201319 September 2014, pp. 197\u2013206 (2014). \n                      https:\/\/doi.org\/10.1145\/2648511.2648532","DOI":"10.1145\/2648511.2648532"},{"key":"18_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Apel, S., von Rhein, A., Wendler, P., Gr\u00f6\u00dflinger, A., Beyer, D.: Strategies for product-line verification: case studies and experiments. In: ICSE 2013, pp. 482\u2013491 (2013)","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: 15th International Conference on Software Product Lines, SPLC 2011, Munich, Germany, 22\u201326 August 2011, pp. 130\u2013139 (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"18_CR5","unstructured":"Atlee, J.M., Beidu, S., Fahrenberg, U., Legay, A.: Merging features in featured transition systems. In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation Co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, 29 September 2015, pp. 38\u201343. CEUR-WS.org (2015)"},{"key":"18_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-319-22969-0_24","volume-title":"Software Engineering and Formal Methods","author":"MH Beek ter","year":"2015","unstructured":"ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: From featured transition systems to modal transition systems with variability constraints. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 344\u2013359. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-22969-0_24"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jlamp.2015.11.006","volume":"85","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Log. Algebr. Meth. Program. 85(2), 287\u2013315 (2016). \n                      https:\/\/doi.org\/10.1016\/j.jlamp.2015.11.006","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Legay, A., Lluch-Lafuente, A., Vandin, A.: Statistical analysis of probabilistic models of software product lines with quantitative constraints. In: Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, 20\u201324 July 2015, pp. 11\u201315. ACM (2015)","DOI":"10.1145\/2791060.2791087"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-662-54494-5_23","volume-title":"Fundamental Approaches to Software Engineering","author":"MH Beek Ter","year":"2017","unstructured":"Ter Beek, M.H., de Vink, E.P., Willemse, T.A.C.: Family-based model checking with mCRL2. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 387\u2013405. Springer, Heidelberg (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-662-54494-5_23"},{"key":"18_CR11","doi-asserted-by":"publisher","unstructured":"Belder, T., ter Beek, M.H., de Vink, E.P.: Coherent branching feature bisimulation. In: Atlee, J.M., Gnesi, S. (eds.) Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS, vol. 182, pp. 14\u201330 (2015). \n                      https:\/\/doi.org\/10.4204\/EPTCS.182.2","DOI":"10.4204\/EPTCS.182.2"},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1038\/s42256-018-0002-3","volume":"1","author":"S Ben-David","year":"2019","unstructured":"Ben-David, S., Hrube\u0161, P., Moran, S., Shpilka, A., Yehudayoff, A.: Learnability can be undecidable. Nat. Mach. Intell. 1(1), 44\u201348 (2019). \n                      https:\/\/doi.org\/10.1038\/s42256-018-0002-3","journal-title":"Nat. Mach. Intell."},{"key":"18_CR13","doi-asserted-by":"publisher","unstructured":"Beohar, H., Mousavi, M.R.: Input-output conformance testing based on featured transition systems. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014, pp. 1272\u20131278. ACM Press (2014). \n                      https:\/\/doi.org\/10.1145\/2554850.2554949","DOI":"10.1145\/2554850.2554949"},{"issue":"6","key":"18_CR14","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1016\/j.jlamp.2016.09.007","volume":"85","author":"H Beohar","year":"2016","unstructured":"Beohar, H., Mousavi, M.R.: Input-output conformance testing for software product lines. J. Log. Algebr. Meth. Program. 85(6), 1131\u20131153 (2016). \n                      https:\/\/doi.org\/10.1016\/j.jlamp.2016.09.007","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.: Spinal test suites for software product lines. ArXiv e-prints (2014)","DOI":"10.4204\/EPTCS.141.4"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Beohar, H., Varshosaz, M., Mousavi, M.R.: Basic behavioral models for software product lines: expressiveness and testing pre-orders. Sci. Comput. Program., July 2015. \n                      http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642315001288","DOI":"10.1016\/j.scico.2015.06.005"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-33253-4_11","volume-title":"Software Product Lines","author":"A Bertolino","year":"2006","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product line use cases: scenario-based specification and testing of requirements. In: K\u00e4k\u00f6la, T., Duenas, J.C. (eds.) Software Product Lines, pp. 425\u2013445. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/978-3-540-33253-4_11"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-24667-1_14","volume-title":"Software Product-Family Engineering","author":"A Bertolino","year":"2004","unstructured":"Bertolino, A., Gnesi, S.: PLUTO: a test methodology for product families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 181\u2013197. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-24667-1_14"},{"key":"18_CR19","doi-asserted-by":"publisher","unstructured":"Briand, L., Nejati, S., Sabetzadeh, M., Bianculli, D.: Testing the untestable: model testing of complex software-intensive systems. In: Proceedings of the 38th International Conference on Software Engineering Companion, ICSE 2016, pp. 789\u2013792. ACM, New York, NY, USA (2016). \n                      https:\/\/doi.org\/10.1145\/2889160.2889212","DOI":"10.1145\/2889160.2889212"},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1002\/stvr.413","volume":"21","author":"EG Cartaxo","year":"2011","unstructured":"Cartaxo, E.G., Machado, P.D.L., Neto, F.G.O.: On the use of a similarity function for test case selection in the context of model-based testing. Softw. Test. Verification Reliab. 21(2), 75\u2013100 (2011). \n                      https:\/\/doi.org\/10.1002\/stvr.413","journal-title":"Softw. Test. Verification Reliab."},{"issue":"1","key":"18_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00165-017-0432-4","volume":"30","author":"P Chrszon","year":"2018","unstructured":"Chrszon, P., Dubslaff, C., Kl\u00fcppelholz, S., Baier, C.: ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Asp. Comput. 30(1), 45\u201375 (2018). \n                      https:\/\/doi.org\/10.1007\/s00165-017-0432-4","journal-title":"Formal Asp. Comput."},{"key":"18_CR22","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). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24485-8_31"},{"issue":"5","key":"18_CR23","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. STTT 14(5), 589\u2013612 (2012)","journal-title":"STTT"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1016\/j.scico.2013.09.019","volume":"80","author":"A Classen","year":"2014","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, 416\u2013439 (2014). \n                      https:\/\/doi.org\/10.1016\/j.scico.2013.09.019","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"18_CR25","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Software Eng. 39(8), 1069\u20131089 (2013). \n                      https:\/\/doi.org\/10.1109\/TSE.2012.86","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: ICSE 2011, pp. 321\u2013330. ACM (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE 2010, pp. 335\u2013344. ACM (2010)","DOI":"10.1145\/1806799.1806850"},{"issue":"5","key":"18_CR28","doi-asserted-by":"publisher","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. Software Eng. 34(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR29","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 (2006). \n                      http:\/\/portal.acm.org\/citation.cfm?doid=1147249.1147257"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.Y., Legay, A.: Simulation-based abstractions for software product-line model checking. In: ICSE 2012, pp. 672\u2013682. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227150"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Perrouin, G., Schobbens, P., Heymans, P., Legay, A.: Simulation-based abstractions for software product-line model checking. In: 34th International Conference on Software Engineering, ICSE 2012, 2\u20139 June 2012, Zurich, Switzerland, pp. 672\u2013682. IEEE Computer Society (2012)","DOI":"10.1109\/ICSE.2012.6227150"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Cordy, M., Heymans, P., Legay, A., Schobbens, P., Dawagne, B., Leucker, M.: Counterexample guided abstraction refinement of product-line behavioural models. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, 16\u201322 November 2014, pp. 190\u2013201. ACM (2014)","DOI":"10.1145\/2635868.2635919"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Cordy, M., Legay, A., Lazreg, S., Collet, P.: Towards sampling and simulation-based analysis of featured weighted automata. In: FORMALISE@ICSE 2019, pp. 61\u201364 (2019)","DOI":"10.1109\/FormaliSE.2019.00015"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P., Heymans, P., Legay, A.: Behavioural modelling and verification of real-time software product lines. In: 16th International Software Product Line Conference, SPLC 2012, Salvador, Brazil, 2\u20137 September 2012, vol. 1, pp. 66\u201375. ACM (2012)","DOI":"10.1145\/2362536.2362549"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: Towards an incremental automata-based approach for software product-line model checking. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, pp. 74\u201381. ACM (2012)","DOI":"10.1145\/2364412.2364425"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: ProVeLines: a product-line of verifiers for software product lines. In: SPLC 2013, pp. 141\u2013146. ACM (2013)","DOI":"10.1145\/2499777.2499781"},{"key":"18_CR37","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: There and back again. In: Proceedings of the 2008 12th International Software Product Line Conference, SPLC 2008, pp. 22\u201331. IEEE Computer Society, Washington, DC, USA (2008). \n                      https:\/\/doi.org\/10.1109\/SPLC.2008.49","DOI":"10.1109\/SPLC.2008.49"},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: SPLC 2007, pp. 23\u201334. IEEE Computer Society (2007)","DOI":"10.1109\/SPLINE.2007.4339252"},{"issue":"1","key":"18_CR39","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10270-015-0479-8","volume":"16","author":"X Devroey","year":"2017","unstructured":"Devroey, X., et al.: Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1), 153\u2013171 (2017). \n                      http:\/\/link.springer.com\/10.1007\/s10270-015-0479-8","journal-title":"Softw. Syst. Model."},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Legay, A., Schobbens, P.Y., Heymans, P.: Search-based similarity-driven behavioural SPL Testing. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS 2016, pp. 89\u201396. ACM Press, Salvador, Brazil, January 2016","DOI":"10.1145\/2866614.2866627"},{"key":"18_CR41","doi-asserted-by":"publisher","unstructured":"Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.: Featured model-based mutation analysis. In: Dillon, L.K., Visser, W., Williams, L. (eds.) Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, 14\u201322 May 2016, pp. 655\u2013666. ACM (2016). \n                      https:\/\/doi.org\/10.1145\/2884781.2884821","DOI":"10.1145\/2884781.2884821"},{"key":"18_CR42","doi-asserted-by":"publisher","unstructured":"Devroey, X., Perrouin, G., Schobbens, P.Y., Heymans, P.: Poster: VIBeS, transition system mutation made easy. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015, vol. 2, pp. 817\u2013818. IEEE, Florence, Italy, May 2015. \n                      https:\/\/doi.org\/10.1109\/ICSE.2015.263\n                      \n                    , \n                      http:\/\/ieeexplore.ieee.org\/document\/7203084\/","DOI":"10.1109\/ICSE.2015.263"},{"key":"18_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-030-16722-6_11","volume-title":"Fundamental Approaches to Software Engineering","author":"AS Dimovski","year":"2019","unstructured":"Dimovski, A.S., Legay, A., Wasowski, A.: Variability abstraction and refinement for game-based lifted model checking of full CTL. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 192\u2013209. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-16722-6_11"},{"key":"18_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-319-63121-9_13","volume-title":"Models, Algorithms, Logics and Tools","author":"AS Dimovski","year":"2017","unstructured":"Dimovski, A.S., W\u0105sowski, A.: From transition systems to variability models and from lifted model checking back to UPPAAL. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 249\u2013268. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-63121-9_13"},{"key":"18_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-662-54494-5_24","volume-title":"Fundamental Approaches to Software Engineering","author":"AS Dimovski","year":"2017","unstructured":"Dimovski, A.S., W\u0105sowski, A.: Variability-specific abstraction refinement for family-based model checking. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 406\u2013423. Springer, Heidelberg (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-662-54494-5_24"},{"issue":"1","key":"18_CR46","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0304-3975(01)00182-7","volume":"276","author":"S Droste","year":"2002","unstructured":"Droste, S., Jansen, T., Wegener, I.: On the analysis of the (1+1) evolutionary algorithm. Theoret. Comput. Sci. 276(1), 51\u201381 (2002). \n                      http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397501001827","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR47","doi-asserted-by":"crossref","unstructured":"Dubslaff, C., Kl\u00fcppelholz, S., Baier, C.: Probabilistic model checking for energy analysis in software product lines. In: 13th International Conference on Modularity, MODULARITY 2014, Lugano, Switzerland, 22\u201326 April 2014, pp. 169\u2013180. ACM (2014)","DOI":"10.1145\/2577080.2577095"},{"key":"18_CR48","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). \n                      https:\/\/doi.org\/10.1007\/978-3-642-31095-9_40"},{"key":"18_CR49","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: A behavioural model for product families. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, 3\u20137 September 2007, pp. 521\u2013524 (2007)","DOI":"10.1145\/1295014.1295031"},{"issue":"1","key":"18_CR50","doi-asserted-by":"publisher","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. Empir. Softw. Eng. 16(1), 61\u2013102 (2011)","journal-title":"Empir. Softw. Eng."},{"key":"18_CR51","unstructured":"Goodfellow, I., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. In: International Conference on Learning Representations (2015). \n                      http:\/\/arxiv.org\/abs\/1412.6572"},{"key":"18_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 113\u2013131. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68863-1_8"},{"key":"18_CR53","doi-asserted-by":"publisher","unstructured":"Guo, J., et al.: SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Softw. Syst. Model., July 2017. \n                      https:\/\/doi.org\/10.1007\/s10270-017-0610-0","DOI":"10.1007\/s10270-017-0610-0"},{"issue":"2","key":"18_CR54","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/s10664-018-9635-4","volume":"24","author":"A Halin","year":"2019","unstructured":"Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., Baudry, B.: Test them all, is it worth it? assessing configuration sampling on the JHipster web development stack. Empir. Softw. Eng. 24(2), 674\u2013717 (2019). \n                      https:\/\/doi.org\/10.1007\/s10664-018-9635-4","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"18_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM Trans. Softw. Eng. Methodol. 22(1), 1\u201342 (2013). \n                      http:\/\/dl.acm.org\/citation.cfm?id=2430536.2430540","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"18_CR56","unstructured":"Henard, C., Papadakis, M., Harman, M., Le Traon, Y.: Combining multi-objective search and constraint solving for configuring large software product lines. In: Proceedings of the 37th International Conference on Software Engineering, vol. 1, ICSE 2015, pp. 517\u2013528. IEEE Press, Piscataway, NJ, USA (2015). \n                      http:\/\/dl.acm.org\/citation.cfm?id=2818754.2818819"},{"issue":"7","key":"18_CR57","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TSE.2014.2327020","volume":"40","author":"C Henard","year":"2014","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P., Le Traon, Y.: Bypassing the combinatorial explosion: using similarity to generate and prioritize T-wise test configurations for software product lines. IEEE Trans. Softw. Eng. 40(7), 650\u2013670 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR58","first-page":"547","volume":"37","author":"P Jaccard","year":"1901","unstructured":"Jaccard, P.: \u00c9tude comparative de la distribution florale dans une portion des Alpes et des Jura. Bulletin del la Soci\u00e9t\u00e9 Vaudoise des Sciences Naturelles 37, 547\u2013579 (1901)","journal-title":"Bulletin del la Soci\u00e9t\u00e9 Vaudoise des Sciences Naturelles"},{"key":"18_CR59","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 16th International Software Product Line Conference on - SPLC 2012, vol. 1, p. 46. ACM Press (2012)","DOI":"10.1145\/2362536.2362547"},{"key":"18_CR60","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report CMU\/SEI-90-TR-21, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"18_CR61","unstructured":"K\u00e4stner, C., et al.: Toward variability-aware testing. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD 2012, pp. 1\u20138. ACM Press (2012). \n                      http:\/\/doi.acm.org\/10.1145\/2377816.2377817"},{"key":"18_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-16612-9_22","volume-title":"Runtime Verification","author":"CHP Kim","year":"2010","unstructured":"Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing configurations to monitor in a software product line. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 285\u2013299. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16612-9_22"},{"key":"18_CR63","unstructured":"Knapp, A., Roggenbach, M., Schlingloff, B.H.: On the use of test cases in model-based software product line development. In: Proceedings of the 18th International Software Product Line Conference, vol. 1, SPLC 2014, pp. 247\u2013251. ACM Press (2014). \n                      http:\/\/doi.acm.org\/10.1145\/2648511.2648539"},{"issue":"6","key":"18_CR64","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D Kuhn","year":"2004","unstructured":"Kuhn, D., Wallace, D., Gallo, A.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR65","doi-asserted-by":"crossref","unstructured":"Lazreg, S., Cordy, M., Collet, P., Heymans, P., Mosser, S.: Multifaceted automated analyses for variability-intensive embedded systems. In: ICSE 2019, pp. 854\u2013865 (2019)","DOI":"10.1109\/ICSE.2019.00092"},{"key":"18_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"18_CR67","doi-asserted-by":"publisher","unstructured":"Li, X., Wong, W.E., Gao, R., Hu, L., Hosono, S.: Genetic algorithm-based test generation for software product line with the integration of fault localization techniques. Empir. Softw. Eng., pp. 1\u201351 (2017). \n                      https:\/\/doi.org\/10.1007\/s10664-016-9494-9","DOI":"10.1007\/s10664-016-9494-9"},{"key":"18_CR68","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.jss.2013.11.1096","volume":"91","author":"M Lochau","year":"2014","unstructured":"Lochau, M., Lity, S., Lachmann, R., Schaefer, I., Goltz, U.: Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. 91, 63\u201384 (2014). \n                      https:\/\/doi.org\/10.1016\/j.jss.2013.11.1096\n                      \n                    . \n                      http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121213002781","journal-title":"J. Syst. Softw."},{"issue":"3\u20134","key":"18_CR69","doi-asserted-by":"publisher","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. Software Qual. J. 20(3\u20134), 567\u2013604 (2012). \n                      http:\/\/www.springerlink.com\/index\/10.1007\/s11219-011-9165-4","journal-title":"Software Qual. J."},{"key":"18_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-30473-6_7","volume-title":"Tests and Proofs","author":"M Lochau","year":"2012","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 67\u201382. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-30473-6_7"},{"key":"18_CR71","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R.E., Fischer, S., Ramler, R., Egyed, A.: A first systematic mapping study on combinatorial interaction testing for software product lines. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICSTW.2015.7107435"},{"key":"18_CR72","unstructured":"Luthmann, L., Stephan, A., B\u00fcrdek, J., Lochau, M.: Modeling and testing product lines with unbounded parametric real-time constraints. In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume A, SPLC 2017, pp. 104\u2013113. ACM, New York, NY, USA (2017). \n                      http:\/\/doi.acm.org\/10.1145\/3106195.3106204"},{"key":"18_CR73","volume-title":"Foundations of Software Testing","author":"AP Mathur","year":"2008","unstructured":"Mathur, A.P.: Foundations of Software Testing. Pearson Education, India (2008)"},{"key":"18_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-14335-9_4","volume-title":"Testing Techniques in Software Engineering","author":"JD McGregor","year":"2010","unstructured":"McGregor, J.D.: Testing a software product line. In: Borba, P., Cavalcanti, A., Sampaio, A., Woodcook, J. (eds.) PSSE 2007. LNCS, vol. 6153, pp. 104\u2013140. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-14335-9_4"},{"key":"18_CR75","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.: Software product lines online tools. In: Proceedings of OOPSLA 2009, pp. 761\u2013762. ACM, New York, NY, USA (2009). \n                      http:\/\/doi.acm.org\/10.1145\/1639950.1640002"},{"key":"18_CR76","unstructured":"Nebut, C., Pickin, S., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Automated requirements-based generation of test cases for product families. In: 2003 Proceedings of 18th IEEE International Conference on Automated Software Engineering, pp. 263\u2013266. IEEE (2003)"},{"key":"18_CR77","unstructured":"Nguyen, H.V., K\u00e4stner, C., Nguyen, T.N.: Exploring variability-aware execution for testing plugin-based web applications. In: Proceedings of the 36th International Conference on Software Engineering - ICSE 2014, pp. 907\u2013918. ACM Press (2014). \n                      http:\/\/dl.acm.org\/citation.cfm?doid=2568225.2568300"},{"key":"18_CR78","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Atlee, J., Legay, A., Fahrenberg, U.: Trace checking for dynamic software product lines. In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2018, pp. 69\u201375. ACM (2018)","DOI":"10.1145\/3194133.3194143"},{"key":"18_CR79","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Fahrenberg, U., Atlee, J.M., Legay, A.: Long-term average cost in featured transition systems. In: Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, 16\u201323 September 2016, pp. 109\u2013118. ACM (2016)","DOI":"10.1145\/2934466.2934473"},{"key":"18_CR80","unstructured":"Olaechea, R., Fahrenberg, U., Atlee, J.M., Legay, A.: Long-term average cost in featured transition systems. In: Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, pp. 109\u2013118. ACM, New York, NY, USA (2016). \n                      http:\/\/doi.acm.org\/10.1145\/2934466.2934473"},{"key":"18_CR81","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). \n                      https:\/\/doi.org\/10.1007\/978-3-642-15579-6_14"},{"key":"18_CR82","doi-asserted-by":"publisher","unstructured":"Perrouin, G., Acher, M., Davril, J., Legay, A., Heymans, P.: A complexity tale: web configurators. In: Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2016, Austin, Texas, USA, 14\u201322 May 2016, pp. 28\u201331. ACM (2016). \n                      https:\/\/doi.org\/10.1145\/2897045.2897051","DOI":"10.1145\/2897045.2897051"},{"issue":"3\u20134","key":"18_CR83","first-page":"605","volume":"20","author":"G Perrouin","year":"2011","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., le Traon, Y.: Pairwise testing for software product lines: comparison of two approaches. Softw. Qual. J. 20(3\u20134), 605\u2013643 (2011). \n                      http:\/\/dx.doi.org\/10.1007\/s11219-011-9160-9","journal-title":"Softw. Qual. J."},{"key":"18_CR84","doi-asserted-by":"publisher","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., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"key":"18_CR85","doi-asserted-by":"crossref","unstructured":"von Rhein, A., Apel, S., K\u00e4stner, C., Th\u00fcm, T., Schaefer, I.: The PLA model: on the combination of product-line analyses. In: VaMoS, p. 14 (2013)","DOI":"10.1145\/2430502.2430522"},{"key":"18_CR86","doi-asserted-by":"crossref","unstructured":"Rodrigues, G.N., et al.: Modeling and verification for probabilistic properties in software product lines. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, 8\u201310 January 2015, pp. 173\u2013180 (2015)","DOI":"10.1109\/HASE.2015.34"},{"key":"18_CR87","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Menzies, T., Ammar, H.: On the value of user preferences in search-based software engineering: a case study in software product lines. In: ICSE 2013, pp. 492\u2013501 (2013)","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"18_CR88","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Feature diagrams: a survey and a formal semantics. In: RE 2006, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"18_CR89","doi-asserted-by":"publisher","unstructured":"Ter Beek, M., Legay, A., Lluch Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Trans. Softw. Eng., p. 1 (2018). \n                      https:\/\/doi.org\/10.1109\/TSE.2018.2853726","DOI":"10.1109\/TSE.2018.2853726"},{"key":"18_CR90","doi-asserted-by":"crossref","unstructured":"Tian, Y., Pei, K., Jana, S., Ray, B.: DeepTest: automated testing of deep-neural-network-driven autonomous cars. In: ICSE 2018, pp. 303\u2013314. ACM, New York, NY, USA (2018)","DOI":"10.1145\/3180155.3180220"},{"key":"18_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1\n                      \n                    . \n                      http:\/\/www.springerlink.com\/index\/y390356226x154j0.pdf"},{"key":"18_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"J Tretmans","year":"2011","unstructured":"Tretmans, J.: Model-based testing and some steps towards test-based modelling. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 297\u2013326. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21455-4_9"},{"key":"18_CR93","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)"},{"issue":"3","key":"18_CR94","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.: Incremental test generation for software product lines. IEEE Trans. Softw. Eng. 36(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR95","doi-asserted-by":"crossref","unstructured":"Vanhecke, J., Devroey, X., Perrouin, G.: AbsCon : a test concretizer for model-based testing. In: 2019 IEEE Twelfth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), A-MOST 2019. IEEE, Xi\u2019an, China (2019)","DOI":"10.1109\/ICSTW.2019.00027"},{"key":"18_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","year":"2019","unstructured":"Vojnar, T., Zhang, L. (eds.): TACAS 2019. LNCS, vol. 11428. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-17465-1"}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T06:53:24Z","timestamp":1570604004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":96,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}