{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T08:10:08Z","timestamp":1746346208623,"version":"3.40.4"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T00:00:00Z","timestamp":1408406400000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10009-014-0341-2","type":"journal-article","created":{"date-parts":[[2014,8,18]],"date-time":"2014-08-18T13:22:03Z","timestamp":1408368123000},"page":"585-600","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Generating counterexamples of model-based software product lines"],"prefix":"10.1007","volume":"17","author":[{"given":"Jo\u00e3o Bosco Ferreira","family":"Filho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Le Noir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,19]]},"reference":[{"key":"341_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Familiar: a domain-specific language for large scale management of feature models. Science of Computer Programming (SCP). Special Issue on Programming Languages, p. 22. doi: 10.1016\/j.scico.2012.12.004 (2013)","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"341_CR2","doi-asserted-by":"crossref","unstructured":"Alf\u00e9rez, M., Lopez-Herrejon, R.E., Moreira, A., Amaral, V., Egyed, A.: Supporting consistency checking between features and software product line use scenarios. In: Schmid, K. (ed.) ICSR, Lecture Notes in Computer Science, vol. 6727, pp. 20\u201335. Springer (2011)","DOI":"10.1007\/978-3-642-21347-2_3"},{"key":"341_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., Kstner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Berlin (2013)"},{"key":"341_CR4","doi-asserted-by":"crossref","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model superimposition in software product lines. In: Paige, R.F. (ed.) ICMT, Lecture Notes in Computer Science, vol. 5563, pp. 4\u201319. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_2"},{"key":"341_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Rhein, A.v., Wendler, P., Grosslinger, A., Beyer, D.: Strategies for product-line verification: Case studies and experiments. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913, pp. 482\u2013491. IEEE Press, Piscataway. http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486852 (2013)","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"341_CR6","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: de Almeida, E.S., Kishi, T., Schwanninger, C., John I., Schmid K. (eds.) SPLC, pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"issue":"6","key":"341_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"issue":"6","key":"341_CR8","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-cort, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"341_CR9","doi-asserted-by":"crossref","unstructured":"Cadavid, J.J., Baudry, B., Sahraoui, H.A.: Searching the boundaries of a modeling space to test metamodels. In: ICST, pp. 131\u2013140 (2012)","DOI":"10.1109\/ICST.2012.93"},{"key":"341_CR10","unstructured":"Chen, L., Babar, M.A., Ali, N.: Variability management in software product lines: a systematic review. In: SPLC\u201909, pp. 81\u201390 (2009)"},{"key":"341_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Proceedings of the 9th GPCE\u201910 Conference, GPCE \u201910, pp. 13\u201322. ACM, New York. doi: 10.1145\/1868294.1868298 (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"341_CR12","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: ICSE\u201911, pp. 321\u2013330. ACM (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"341_CR13","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\u201910, pp. 335\u2013344. ACM (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"341_CR14","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clements","year":"2011","unstructured":"Clements, P., Northrop, L.M.: Software Product Lines: Practices and Patterns. Addison-Wesley Professional, Reading (2011)"},{"key":"341_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: GPCE\u201905, LNCS, vol. 3676, pp. 422\u2013437 (2005)","DOI":"10.1007\/11561347_28"},{"key":"341_CR16","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.W.: Generative programming for embedded software: An industrial experience report. In: Proceedings of the 1st ACM SIGPLAN\/SIGSOFT Conference on Generative Programming and Component Engineering. GPCE \u201902, pp. 156\u2013172. Springer, London (2002)","DOI":"10.1007\/3-540-45821-2_10"},{"key":"341_CR17","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions: a comparison of variability modeling approaches. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS \u201912, pp. 173\u2013182. ACM, New York. doi: 10.1145\/2110147.2110167 (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"341_CR18","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE\u201906, pp. 211\u2013220, ACM. doi: 10.1145\/1173706.1173738 (2006)","DOI":"10.1145\/1173706.1173738"},{"issue":"7","key":"341_CR19","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1016\/j.jss.2010.02.018","volume":"83","author":"D Dhungana","year":"2010","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R., Neumayer, T.: Structuring the modeling space and supporting evolution in software product line engineering. J. Syst. Softw. 83(7), 1108\u20131122 (2010)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"341_CR20","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"341_CR21","unstructured":"FAMILIAR: FeAture Model scrIpt Language for manIpulation and Automatic Reasonning. http:\/\/nyx.unice.fr\/projects\/familiar\/ . Accessed 13 Aug 2014"},{"key":"341_CR22","doi-asserted-by":"crossref","unstructured":"Filho, J.B.F., Barais, O., Acher, M., Baudry, B., Noir, J.L.: Generating counterexamples of model-based software product lines: an exploratory study. In: T. Kishi, S. Jarzabek, S. Gnesi (eds.) SPLC, pp. 72\u201381. ACM (2013)","DOI":"10.1145\/2491627.2491639"},{"key":"341_CR23","doi-asserted-by":"crossref","unstructured":"Filho, J.B.F., Barais, O., Baudry, B., Le Noir, J.: Leveraging variability modeling for multi-dimensional model-driven software product lines. In: Product Line Approaches in Software Engineering (PLEASE), 2012 3rd International Workshop on, pp. 5\u20138. doi: 10.1109\/PLEASE.2012.6229774 (2012)","DOI":"10.1109\/PLEASE.2012.6229774"},{"key":"341_CR24","doi-asserted-by":"crossref","unstructured":"Filho, J.B.F., Barais, O., Le Noir, J., J\u00e9z\u00e9quel, J.M.: Customizing the common variability language semantics for your domain models. In: Proceedings of the VARiability for You Workshop, VARY \u201912, pp. 3\u20138. ACM, New York. doi: 10.1145\/2425415.2425417 (2012)","DOI":"10.1145\/2425415.2425417"},{"key":"341_CR25","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Svendsen, A., Zhang, X.: Standardizing variability\u2014challenges and solutions. In: SDL Forum, pp. 233\u2013246 (2011)","DOI":"10.1007\/978-3-642-25264-8_18"},{"key":"341_CR26","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Hervieu, A., Baudry, B.: Minimum pairwise coverage using constraint programming techniques. In: Antoniol, G., Bertolino, A., Labiche, Y. (eds.) ICST, pp. 773\u2013774. IEEE (2012)","DOI":"10.1109\/ICST.2012.174"},{"key":"341_CR27","unstructured":"Group, O.M.: OMG unified modeling language (OMG UML), infrastructure, V2.1.2. Technical Report. http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Infrastructure\/PDF (2007)"},{"key":"341_CR28","doi-asserted-by":"crossref","unstructured":"Haugen, O., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding standardized variability to domain specific languages. In: Proceedings of the 2008 12th International Software Product Line Conference, SPLC \u201908, pp. 139\u2013148. IEEE Computer Society, Washington, DC. doi: 10.1109\/SPLC.2008.25 (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"341_CR29","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Sanchez, P., Santos, J., Zschaler, S., Alferez, M., Araujo, J., Fuentes, L., amd Ana Moreira, U.K., Rashid, A.: Relating feature models to other models of a software product line: a comparative study of featuremapper and vml*. Transactions on Aspect-Oriented Software Development VII, Special Issue on A Common Case Study for Aspect-Oriented Modeling, vol. 6210, pp. 69\u2013114 (2010)","DOI":"10.1007\/978-3-642-16086-8_3"},{"key":"341_CR30","unstructured":"ISO: International organization for standardization: Iso\/iec fcd 42010: systems and software engineering\u2014architecture description (2010)"},{"key":"341_CR31","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: E.S. de Almeida, C. Schwanninger, D. Benavides (eds.) SPLC (1), pp. 46\u201355. ACM (2012)","DOI":"10.1145\/2362536.2362547"},{"key":"341_CR32","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Klein, J., Guelfi, N., J\u00e9z\u00e9quel, J.M.: Reconciling automation and flexibility in product derivation. In: SPLC\u201908, pp. 339\u2013348. IEEE. doi: 10.1109\/SPLC.2008.38 (2008)","DOI":"10.1109\/SPLC.2008.38"},{"issue":"3\u20134","key":"341_CR33","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s11219-011-9160-9","volume":"20","author":"G Perrouin","year":"2012","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., Traon, Y.L.: Pairwise testing for software product lines: comparison of two approaches. Softw. Qual. J. 20(3\u20134), 605\u2013643 (2012)","journal-title":"Softw. Qual. J."},{"key":"341_CR34","doi-asserted-by":"crossref","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.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"key":"341_CR35","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Proceedings of the 14th International Conference on Software Product Lines: Going Beyond, SPLC\u201910, pp. 77\u201391. Springer, Berlin, Heidelberg. http:\/\/dl.acm.org\/citation.cfm?id=1885639.1885647 (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"issue":"2","key":"341_CR36","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"issue":"8","key":"341_CR37","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1002\/spe.652","volume":"35","author":"M Svahnberg","year":"2005","unstructured":"Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques: research articles. Softw. Pract. Exper. 35(8), 705\u2013754 (2005). doi: 10.1002\/spe.v35:8","journal-title":"Softw. Pract. Exper."},{"key":"341_CR38","doi-asserted-by":"crossref","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Specifying a testing oracle for train stations\u2014going beyond with product line technology. In: Kienzle, J. (ed.) MoDELS Workshops, LNCS, vol. 7167, pp. 187\u2013201. Springer (2011)","DOI":"10.1007\/978-3-642-29645-1_20"},{"key":"341_CR39","doi-asserted-by":"crossref","unstructured":"Svendsen, A., Zhang, X., Lind-Tviberg, R., Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K.: Developing a software product line for train control: a case study of cvl. In: Bosch, J., Lee, J. (eds.) SPLC, Lecture Notes in Computer Science, vol. 6287, pp. 106\u2013120. Springer (2010)","DOI":"10.1007\/978-3-642-15579-6_8"},{"key":"341_CR40","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: GPCE \u201907, pp. 95\u2013104. ACM, New York. doi: 10.1145\/1289971.1289989 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"341_CR41","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. In: Computing Surveys, 2014. ACM, Accepted 30 January 2014 (2014)","DOI":"10.1145\/2580950"},{"key":"341_CR42","unstructured":"Voelter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: SPLC\u201907, pp. 233\u2013242. IEEE. doi: 10.1109\/SPLC.2007.28 (2007)"},{"key":"341_CR43","doi-asserted-by":"crossref","unstructured":"Voirin, J.L.: Method and tools to secure and support collaborative architecting of constrained systems. In: 18th International Symposium of the INCOSE. International Council on Systems Engineering, Utrecht, Netherlands (2008)","DOI":"10.1002\/j.2334-5837.2008.tb00857.x"},{"key":"341_CR44","doi-asserted-by":"crossref","unstructured":"Zhang, X., M\u00f8ller-Pedersen, B.: Towards correct product derivation in model-driven product lines. In: Haugen \u00d8., Reed R., Gotzhein, R. (eds.) SAM, Lecture Notes in Computer Science, vol. 7744, pp. 179\u2013197. Springer (2012)","DOI":"10.1007\/978-3-642-36757-1_11"},{"key":"341_CR45","doi-asserted-by":"crossref","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.M.: Software product line engineering with the uml: deriving products. In: K\u00e4k\u00f6l\u00e4 T., Due\u00f1as J.C. (eds.) Software Product Lines, pp. 557\u2013588. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-33253-4_15"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0341-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0341-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0341-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T07:47:42Z","timestamp":1746344862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0341-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,19]]},"references-count":45,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["341"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0341-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,8,19]]}}}