{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:44:23Z","timestamp":1743108263648,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319519623"},{"type":"electronic","value":"9783319519630"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51963-0_35","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T01:17:39Z","timestamp":1484011059000},"page":"453-463","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On Featured Transition Systems"],"prefix":"10.1007","author":[{"given":"Axel","family":"Legay","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Devroey","sequence":"additional","affiliation":[]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,11]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Al-Hajjaji, M., Th\u00fcm, T., Meinicke, J., Lochau, M., Saake, G.: Similarity-based prioritization in software product-line testing. In: SPLC, pp. 197\u2013206. ACM (2014)","DOI":"10.1145\/2648511.2648532"},{"key":"35_CR2","unstructured":"ALL4TEC - MaTeLo. \n                      http:\/\/all4tec.net\/index.php\/en\/model-based-testing\/20-markov-test-logic-matelo"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.: Input-output conformance testing based on featured transition systems. In: 29th Annual ACM Symposium on Applied Computing, pp. 1272\u20131278. ACM (2014)","DOI":"10.1145\/2554850.2554949"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.scico.2015.06.005","volume":"123","author":"H Beohar","year":"2016","unstructured":"Beohar, H., Varshosaz, M., Mousavi, M.R.: Basic behavioral models for software product lines: expressiveness and testing pre-orders. Sci. Comput. Program. 123, 42\u201360 (2016)","journal-title":"Sci. Comput. Program."},{"key":"35_CR5","unstructured":"Classen, A.: Modelling and model checking variability-intensive systems. Ph.D. thesis, University of Namur (FUNDP) (2011)"},{"key":"35_CR6","first-page":"1130","volume":"76","author":"A Classen","year":"2011","unstructured":"Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: syntax and semantics of TVL. SCP 76, 1130\u20131143 (2011)","journal-title":"SCP"},{"issue":"5","key":"35_CR7","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":"35_CR8","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.-Y., Heymans, P., Legay, A., Raskin, J.-F.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. Trans. Softw. Eng. 39, 1069\u20131089 (2013)","journal-title":"Trans. Softw. Eng."},{"key":"35_CR9","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":"35_CR10","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"},{"key":"35_CR11","unstructured":"Cordy, M.: Model checking for the masses. Ph.D. thesis, University of Namur (2014)"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: Managing evolution in software product lines: a model-checking perspective. In: VaMoS 2012, pp. 183\u2013191. ACM (2012)","DOI":"10.1145\/2110147.2110168"},{"key":"35_CR13","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":"35_CR14","doi-asserted-by":"crossref","unstructured":"Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y., Dawagne, B., Leucker, M.: Counterexample guided abstraction refinement of product-line behavioural models. In: FSE 2014. ACM (2014)","DOI":"10.1145\/2635868.2635919"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Cordy, M., Heymans, P., Schobbens, P.-Y., Legay, A.: Behavioural modelling and verification of real-time software product lines. In: SPLC 2012. ACM (2012)","DOI":"10.1145\/2362536.2362549"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A.: Beyond boolean product-line model checking: dealing with feature attributes and multi-features. In: ICSE 2013, pp. 472\u2013481. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"35_CR17","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":"35_CR18","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A., Schobbens, P.: A variability perspective of mutation analysis. In: SIGSOFT FSE, pp. 841\u2013844. ACM (2014)","DOI":"10.1145\/2635868.2666610"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P.-Y., Heymans, P.: Statistical prioritization for software product line testing: an experience report. Software & Systems Modeling, pp. 1\u201319 (2015)","DOI":"10.1007\/s10270-015-0479-8"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Schobbens, P., Legay, A., Heymans, P.: Towards statistical prioritization for software product lines testing. In: VaMoS, pp. 10:1\u201310:7. ACM (2014)","DOI":"10.1145\/2556624.2556635"},{"key":"35_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-662-45234-9_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"X Devroey","year":"2014","unstructured":"Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y., Heymans, P.: Coverage criteria for behavioural testing of software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 336\u2013350. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-662-45234-9_24"},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Legay, A., Schobbens, P., Heymans, P.: Covering SPL behaviour with sampled configurations: an initial assessment. In: VaMoS, p. 59. ACM (2015)","DOI":"10.1145\/2701319.2701325"},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.: Featured model-based mutation analysis. In: ICSE, pp. 655\u2013666. ACM (2016)","DOI":"10.1145\/2884781.2884821"},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Schobbens, P., Heymans, P.: Poster: vibes, transition system mutation made easy. In: ICSE, vol. 2, pp. 817\u2013818. IEEE Computer Society (2015)","DOI":"10.1109\/ICSE.2015.263"},{"issue":"7","key":"35_CR25","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., Traon, Y.L.: 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":"35_CR26","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Traon, Y.L.: Multi-objective test generation for software product lines. In: SPLC, pp. 62\u201371. ACM (2013)","DOI":"10.1145\/2491627.2491635"},{"key":"35_CR27","volume-title":"Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J., Model, T.S.: Checker: Primer and Reference Manual. Addison-Wesley, New York (2004)"},{"issue":"5","key":"35_CR28","first-page":"649","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE TSE 37(5), 649\u2013678 (2011)","journal-title":"IEEE TSE"},{"key":"35_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1007\/978-3-642-24485-8_47","volume-title":"Model Driven Engineering Languages and Systems","author":"MF Johansen","year":"2011","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F.: Properties of realistic feature models make combinatorial testing of product lines feasible. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 638\u2013652. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-24485-8_47"},{"key":"35_CR30","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 (1990)","DOI":"10.21236\/ADA235785"},{"key":"35_CR31","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, pp. 109\u2013118. ACM, New York, NY, USA (2016)","DOI":"10.1145\/2934466.2934473"},{"key":"35_CR32","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)","DOI":"10.1109\/ICST.2010.43"},{"key":"35_CR33","doi-asserted-by":"crossref","unstructured":"Rodrigues, G.N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P., Sharifloo, A.M., Legay, A.: Modeling and verification for probabilistic properties in software product lines. In: HASE, pp. 173\u2013180. IEEE Computer Society (2015)","DOI":"10.1109\/HASE.2015.34"},{"key":"35_CR34","doi-asserted-by":"crossref","unstructured":"Rodrigues, G.N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P.-Y., Sharifloo, A.M., Legay, A.: Modeling and verification for probabilistic properties in software product lines. In: Proceedings of the 16th International Symposium on High Assurance Systems Engineering (2015)","DOI":"10.1109\/HASE.2015.34"},{"key":"35_CR35","doi-asserted-by":"crossref","unstructured":"Samih, H., Bogusch, R.: MPLM - MaTeLo product line manager. In: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools, SPLC 2014, vol. 2, pp. 138\u2013142. ACM, New York, NY, USA (2014)","DOI":"10.1145\/2647908.2655980"},{"key":"35_CR36","doi-asserted-by":"crossref","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y., Diagrams, F.: A survey and a formal semantics. In: RE 2006, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"35_CR37","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: LICS 1986, pp. 332\u2013344. IEEE CS (1986)"},{"issue":"10","key":"35_CR38","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J Whittaker","year":"1994","unstructured":"Whittaker, J., Thomason, G., Michael, A.: Markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812\u2013824 (1994)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2017: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51963-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:04:54Z","timestamp":1558317894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51963-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319519623","9783319519630"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51963-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"11 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFSEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Current Trends in Theory and Practice of Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limerick","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofsem2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}