{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:48:57Z","timestamp":1725702537931},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_16","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"208-222","source":"Crossref","is-referenced-by-count":14,"title":["A Vision for Behavioural Model-Driven Validation of Software Product Lines"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Eun-Young","family":"Kang","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Ali, S., Hemmati, H., Holt, N., Arisholm, E., Briand, L.: Model Transformations as a Strategy to Automate Model-Based Testing-A Tool and Industrial Case Studies. Simula Research Laboratory, Technical Report, pp. 1\u201328 (January 2010)"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1985484.1985492","volume-title":"Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE 2011","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and validation of variability in product lines. In: Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE 2011, pp. 25\u201330. ACM, New York (2011)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1109\/SPLC.2011.34","volume-title":"Proceedings of the 2011 15th International Software Product Line Conference, SPLC 2011","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: Proceedings of the 2011 15th International Software Product Line Conference, SPLC 2011, pp. 130\u2013139. IEEE Computer Society, Washington, DC (2011)"},{"key":"16_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2007)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-31848-4_9","volume-title":"Formal Approaches to Software Testing","author":"J. Blom","year":"2005","unstructured":"Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and Generating Test Cases Using Observer Automata. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"16_CR6","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"16_CR7","volume-title":"Proceedings 33rd International Conference on Software Engineering (ICSE 2011)","author":"A. Classen","year":"2011","unstructured":"Classen, A., Heymans, P., Schobbens, P., Legay, A.: Symbolic model checking of software product lines. In: Proceedings 33rd International Conference on Software Engineering (ICSE 2011). ACM Press, New York (2011)"},{"key":"16_CR8","unstructured":"Classen, A.: Modelling and Model Checking Variability-Intensive Systems. Ph.D. thesis, PReCISE Research Center, Faculty of Computer Science, University of Namur, FUNDP (2011)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/1806799.1806850","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, vol.\u00a01, pp. 335\u2013344. ACM, New York (2010)"},{"key":"16_CR10","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: Proceedings of VaMoS 2012, pp. 183\u2013191. ACM (2012)","DOI":"10.1145\/2110147.2110168"},{"key":"16_CR11","unstructured":"Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.Y., Legay, A.: Simulation relation for software product lines: Foundations for scalable model-checking. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012. IEEE (to appear, 2012)"},{"key":"16_CR12","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.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2009.118","volume":"42","author":"C. Ebert","year":"2009","unstructured":"Ebert, C., Jones, C.: Embedded software: Facts, figures, and future. Computer\u00a042(4), 42\u201352 (2009)","journal-title":"Computer"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E. Engstr\u00f6m","year":"2010","unstructured":"Engstr\u00f6m, E., Runeson, P.: Software product line testing-a systematic mapping study. Information and Software Technology\u00a053(1), 2\u201313 (2010)","journal-title":"Information and Software Technology"},{"key":"16_CR15","first-page":"521","volume-title":"Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE 2007","author":"A. Fantechi","year":"2007","unstructured":"Fantechi, A., Gnesi, S.: A behavioural model for product families. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE 2007, pp. 521\u2013524. ACM, New York (2007)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/SPLC.2008.45","volume-title":"Proceedings of the 2008 12th International Software Product Line Conference","author":"A. Fantechi","year":"2008","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of the 2008 12th International Software Product Line Conference, pp. 193\u2013202. IEEE Computer Society, Washington, DC (2008)"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1147249.1147254","volume-title":"Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA 2006","author":"D. Fischbein","year":"2006","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.: A foundation for behavioural conformance in software product line architectures. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA 2006, pp. 39\u201348. ACM, New York (2006)"},{"key":"16_CR18","unstructured":"Gogolla, M., Parisi Presicce, F.: State diagrams in UML: A formal semantics using graph transformations. In: Proceedings PSMT, pp. 55\u201372 (1998)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1109\/SPLC.2008.22","volume-title":"Proceedings of the 2008 12th International Software Product Line Conference, SPLC 2008","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Calculating and modeling common parts of software product lines. In: Proceedings of the 2008 12th International Software Product Line Conference, SPLC 2008, pp. 203\u2013212. IEEE Computer Society, Washington, DC (2008)"},{"key":"16_CR20","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.\u00a05051, pp. 113\u2013131. Springer, Heidelberg (2008)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"16_CR22","unstructured":"Holt, N.E., Arisholm, E., Briand, L.: Technical report 2009-06: An eclipse plug-in for the flattening of concurrency and hierarchy in uml state machines. Tech. Rep. 2009-06, Simula Research Laboratory AS (2009)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/11538097_5","volume-title":"Model Driven Architecture","author":"A. Kalnins","year":"2005","unstructured":"Kalnins, A., Barzdins, J., Celms, E.: Model Transformation Language MOLA. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 62\u201376. Springer, Heidelberg (2005)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Spencer Peterson, A.: Feature-Oriented domain analysis (FODA) feasibility study. Tech. rep., Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1109\/ASE.2009.16","volume-title":"Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009","author":"K. Lauenroth","year":"2009","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009, pp. 269\u2013280. IEEE Computer Society, Washington, DC (2009)"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/ASE.2002.1115013","volume-title":"Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002","author":"H.C. Li","year":"2002","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 195\u2013204. IEEE Computer Society, Washington, DC (2002)"},{"key":"16_CR27","unstructured":"Mathur, A.: Foundations of software testing. Pearson Education (2008)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"16_CR29","unstructured":"Myers, G.: The art of software testing. Wiley (1979)"},{"key":"16_CR30","unstructured":"OMG: OMG Unified Modeling Language TM ( OMG UML ), Superstructure. Tech. Rep. OMG (August 2011), http:\/\/www.omg.org\/spec\/UML\/"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Oster, S., W\u00f6bbeke, A., Engels, G., Sch\u00fcrr, A.: Model-based software product lines testing survey. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems, pp. 339\u2013382. CRC Press (September 2011)","DOI":"10.1201\/b11321-14"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Oster, S., Zink, M., Lochau, M., Grechanik, M.: Pairwise feature-interaction testing for spls: potentials and limitations. In: Proceedings of the 15th International Software Product Line Conference, SPLC 2011, vol.\u00a02, pp. 6:1\u20136:8. ACM, New York (2011)","DOI":"10.1145\/2019136.2019143"},{"key":"16_CR33","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/1944892.1944901","volume-title":"Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2011","author":"S. Oster","year":"2011","unstructured":"Oster, S., Zorcic, I., Markert, F., Lochau, M.: MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2011, pp. 79\u201382. ACM, New York (2011)"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., le Traon, Y.: Pairwise testing for software product lines: Comparison of two approaches. Software Quality Journal, 1\u201339 (August 2011)","DOI":"10.1007\/s11219-011-9160-9"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software product line engineering: foundations, principles, and techniques. Springer-Verlag New York Inc. (2005)","DOI":"10.1007\/3-540-28901-1"},{"issue":"2","key":"16_CR36","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P.Y. Schobbens","year":"2007","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks\u00a051(2), 456\u2013479 (2007)","journal-title":"Computer Networks"},{"key":"16_CR37","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis Strategies for Software Product Lines. Tech. Rep. FIN-004-2012, School of Computer Science, University of Magdeburg, Germany (April 2012)"},{"key":"16_CR38","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.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"16_CR39","unstructured":"Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Morgan Kaufmann (2007)"},{"issue":"7","key":"16_CR40","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1145\/998300.997200","volume":"39","author":"A. Wasowski","year":"2004","unstructured":"Wasowski, A.: Flattening statecharts without explosions. SIGPLAN Not.\u00a039(7), 257\u2013266 (2004)","journal-title":"SIGPLAN Not."},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Test models and coverage criteria for automatic model-based test generation with UML state machines. Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin (2010)","DOI":"10.1201\/b11321-5"},{"key":"16_CR42","doi-asserted-by":"crossref","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.M.: Product Line Engineering with the UML: Deriving Products. In: Pohl, K. (ed.) Software Product Lines, pp. 557\u2013586. Springer (2006)","DOI":"10.1007\/978-3-540-33253-4_15"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T16:10:32Z","timestamp":1643472632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}