{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:48:31Z","timestamp":1771573711284,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319576657","type":"print"},{"value":"9783319576664","type":"electronic"}],"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-57666-4_13","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T08:18:42Z","timestamp":1491985122000},"page":"210-227","source":"Crossref","is-referenced-by-count":13,"title":["Validated Test Models for Software Product Lines: Featured Finite State Machines"],"prefix":"10.1007","author":[{"given":"Vanderson","family":"Hafemann Fragal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: Proceedings of the 15th International Software Product Line Conference (SPLC), pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Software Product Line Conference (SPLC), pp. 7\u201320. IEEE (2005)","DOI":"10.1007\/11554844_3"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Benduhn, F., Th\u00fcm, T., Lochau, M., Leich, T., Saake, G.: A survey on modeling techniques for formal behavioral verification of software product lines. In: Proceedings of the 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2015), p. 80. ACM (2015). http:\/\/dl.acm.org\/citation.cfm?id=2701319","DOI":"10.1145\/2701319.2701332"},{"key":"13_CR4","unstructured":"Beohar, H., Mousavi, M.R.: Input-output conformance testing based on featured transition systems. In: Proceedings of the Symposium on Applied Computing (SAC 2014), pp. 1272\u20131278. ACM (2014). http:\/\/dl.acm.org\/citation.cfm?id=2554850"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.R.: Spinal test suites for software product lines. In: Proceedings of the 9th Workshop on Model-Based Testing (MBT 2014), EPTCS, vol. 141, pp. 44\u201355 (2014). http:\/\/dx.doi.org\/10.4204\/EPTCS.141","DOI":"10.4204\/EPTCS.141"},{"key":"13_CR6","doi-asserted-by":"crossref","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). http:\/\/dx.doi.org\/10.1016\/j.scico.2015.06.005","journal-title":"Sci. Comput. Program."},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"issue":"8","key":"13_CR8","doi-asserted-by":"crossref","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. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: Proceeding of the 33rd International Conference on Software Engineering (ICSE), p. 321. ACM Press (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422\u2013437. Springer, Heidelberg (2005). doi: 10.1007\/11561347_28"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), pp. 173\u2013182. ACM Press (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: Proceedings of SPLC 2007, pp. 23\u201334. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"13_CR13","unstructured":"Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.: Featured model-based mutation analysis. In: Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), pp. 655\u2013666. ACM (2016). http:\/\/doi.acm.org\/10.1145\/2884781"},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4325-1","volume-title":"Languages for Digital Embedded Systems","author":"SA Edwards","year":"2000","unstructured":"Edwards, S.A.: Languages for Digital Embedded Systems. Springer, New York (2000)"},{"key":"13_CR15","unstructured":"Gr\u00f6nninger, H., Krahn, H., Pinkernell, C., Rumpe, B.: Modeling variants of automotive systems using Views. In: Tagungsband Modellierungs-Workshop MBEFF: Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen, p. 14. TU Braunschweig (2008)"},{"issue":"2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., et al.: Using formal specifications to support testing. ACM Comput. Surv. (CSUR) 41(2), 9 (2009)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Kamischke, J., Lochau, M., Baller, H.: Conditioned model slicing of feature-annotated state machines. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FODS), pp. 9\u201316. ACM (2012)","DOI":"10.1145\/2377816.2377818"},{"issue":"8","key":"13_CR18","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"13_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action","author":"F Linden","year":"2007","unstructured":"Linden, F., Schmif, K., Rommes, E.: Software Product Lines in Action. Springer, New York (2007)"},{"key":"13_CR20","unstructured":"Lity, S., Lachmann, R., Lochau, M., Schaefer, I.: Delta-oriented software product line test models - the body comfort system case study. Technical report (2013)"},{"issue":"11","key":"13_CR21","doi-asserted-by":"crossref","first-page":"1879","DOI":"10.1016\/j.jss.2007.01.047","volume":"80","author":"J Liu","year":"2007","unstructured":"Liu, J., Dehlinger, J., Lutz, R.: Safety analysis of software product lines using state-based modeling. J. Syst. Softw. 80(11), 1879\u20131892 (2007)","journal-title":"J. Syst. Softw."},{"key":"13_CR22","doi-asserted-by":"crossref","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). http:\/\/dx.doi.org\/10.1016\/j.jss.2013.11.1096","journal-title":"J. Syst. Softw."},{"key":"13_CR23","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). doi: 10.1007\/978-3-642-30473-6_7"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Luna, C., Gonzalez, A.: Behavior specification of product lines via feature models and UML statecharts with variabilities. In: Chilean Computer Science Society (SCCC), pp. 9\u201316. IEEE (2008)","DOI":"10.1109\/SCCC.2008.19"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"13_CR26","first-page":"338","volume-title":"Model-Based Testing for Embedded Systems","author":"S Oster","year":"2012","unstructured":"Oster, S., Wubbeke, A., Engels, G., Schurr, A.: A survey of model-based software product lines testing. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-Based Testing for Embedded Systems, pp. 338\u2013381. CRC Press, Boca Raton (2012)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Bochmann, G.v., Luo, G.: Selecting test sequences for partially specified nondeterministic finite state machines. In: International Workshop on Protocol Test Systems (IWPTS), pp. 95\u2013110. Chapman & Hall (1995)","DOI":"10.1007\/978-0-387-34883-4_6"},{"issue":"5","key":"13_CR28","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools. Technol. Transf. 14(5), 477\u2013495 (2012)","journal-title":"Int. J. Softw. Tools. Technol. Transf."},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: Proceedings of the 14th IEEE International Requirements Engineering Conference (RE), pp. 139\u2013148. IEEE (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"13_CR30","unstructured":"SEI: A framework for software product line practice (2011). http:\/\/www.sei.cmu.edu\/productlines\/tools\/framework\/"},{"issue":"9","key":"13_CR31","doi-asserted-by":"crossref","first-page":"1508","DOI":"10.1093\/comjnl\/bxp073","volume":"53","author":"A Simao","year":"2010","unstructured":"Simao, A., Petrenko, A.: Fault coverage-driven incremental test generation. Comput. J. 53(9), 1508\u20131522 (2010)","journal-title":"Comput. J."},{"key":"13_CR32","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: Featureide: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014)","journal-title":"Sci. Comput. Program."},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-319-25423-4_24","volume-title":"Formal Methods and Software Engineering","author":"M Varshosaz","year":"2015","unstructured":"Varshosaz, M., Beohar, H., Mousavi, M.R.: Delta-oriented FSM-based testing. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 366\u2013381. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_24"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T20:09:08Z","timestamp":1569010148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}