{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:38Z","timestamp":1740099098135,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319951706"},{"type":"electronic","value":"9783319951713"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-95171-3_29","type":"book-chapter","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T15:49:47Z","timestamp":1530632987000},"page":"365-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated Analysis of Variability Models: The SeVaTax Process"],"prefix":"10.1007","author":[{"given":"Matias","family":"Pol\u2019la","sequence":"first","affiliation":[]},{"given":"Agustina","family":"Buccella","sequence":"additional","affiliation":[]},{"given":"Alejandra","family":"Cechich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11554844_3"},{"issue":"6","key":"29_CR2","doi-asserted-by":"publisher","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\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). https:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"key":"29_CR3","unstructured":"Braun, G., Pol\u2019la, M., Buccella, A., Cecchi, L., Fillottrani, P., Cechich, A.: A DL semantics for reasoning over ovm-based variability models. In: Proceedings of the 30th International Workshop on Description Logics, vol. 1879, July 2017"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-319-23781-7_26","volume-title":"Model and Data Engineering","author":"NR Brisaboa","year":"2015","unstructured":"Brisaboa, N.R., Corti\u00f1as, A., Luaces, M.R., Pol\u2019la, M.: A reusable software architecture for geographic information systems based on software product line engineering. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 320\u2013331. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23781-7_26"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.cageo.2014.09.004","volume":"73","author":"A Buccella","year":"2014","unstructured":"Buccella, A., Cechich, A., Pol\u2019la, M., Arias, M., Doldan, S., Morsan, E.: Marine ecology service reuse through taxonomy-oriented SPL development. Comput. Geosci. 73, 108\u2013121 (2014)","journal-title":"Comput. Geosci."},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.cageo.2012.11.014","volume":"54","author":"A Buccella","year":"2013","unstructured":"Buccella, A., Cechich, A., Arias, M., Pol\u2019la, M., del Socorro Doldan, M., Morsan, E.: Towards systematic software reuse of gis: insights from a case study. Comput. Geosci. 54, 9\u201320 (2013). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0098300412003913","journal-title":"Comput. Geosci."},{"key":"29_CR7","unstructured":"Frantz, F.R., Benavides Cuevas, D.F., Ruiz Cort\u00e9s, A.: Automated analysis of orthogonal variability models using constraint programming. In: Xv Jornadas De Ingenier\u00eda Del Software Y Bases De Datos 2010, Valencia, Espa\u00f1a (2010)"},{"key":"29_CR8","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"29_CR9","unstructured":"Kowal, M., Ananieva, S., Th\u00fcm, T.: Explaining anomalies in feature models. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, New York, NY, USA, pp. 132\u2013143. ACM (2016). http:\/\/doi.acm.org\/10.1145\/2993236.2993248"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: 2009 IEEE\/ACM International Conference on Automated Software Engineering, pp. 269\u2013280, November 2009","DOI":"10.1109\/ASE.2009.16"},{"key":"29_CR11","unstructured":"von der Massen, T., Lichter, H.: Deficiencies in feature models. In: Mannisto, T., Bosch, J. (eds.) Workshop on Software Variability Management for Product Derivation - Towards Tool Support (2004)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Mazo, R., Munoz-Fernandez, J.C., Rincon, L., Salinesi, C., Tamura, G.: VariaMos: an extensible tool for engineering (dynamic) product lines. In: Proceedings of the 19th International Software Product Line Conference, pp. 374\u2013379. ACM (2015)","DOI":"10.1145\/2791060.2791103"},{"key":"29_CR13","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, New York, NY, USA, pp. 761\u2013762. ACM (2009). http:\/\/doi.acm.org\/10.1145\/1639950.1640002"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 243\u2013253, October 2007","DOI":"10.1109\/RE.2007.61"},{"issue":"5","key":"29_CR15","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.infsof.2010.12.003","volume":"53","author":"PA Mota Silveira Neto da","year":"2011","unstructured":"da Mota Silveira Neto, P.A., do Carmo Machado, I., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53(5), 407\u2013423 (2011). https:\/\/doi.org\/10.1016\/j.infsof.2010.12.003","journal-title":"Inf. Softw. Technol."},{"key":"29_CR16","unstructured":"Nakajima, S.: Semi-automated diagnosis of foda feature diagram. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010, New York, NY, USA, pp. 2191\u20132197. ACM (2010). http:\/\/doi.acm.org\/10.1145\/1774088.1774550"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Pol\u2019la, M., Buccella, A., Arias, M., Cechich, A.: Sevatax: service taxonomy selection validation process for spl development. In: 2015 34th International Conference of the Chilean Computer Science Society (SCCC), pp. 1\u20136, November 2015","DOI":"10.1109\/SCCC.2015.7416580"},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2015.05.005","volume":"314","author":"L Rincon","year":"2015","unstructured":"Rincon, L., Giraldo, G., Mazo, R., Salinesi, C., Diaz, D.: Method to identify corrections of defects on product line models. Electron. Notes Theor. Comput. Sci. 314, 61\u201381 (2015). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066115000286","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"29_CR19","unstructured":"Roos-Frantz, F., Galindo, J.A., Benavides, D., Cort\u00e9s, A.R., Garc\u0131a-Gal\u00e1n, J.: Automated analysis of diverse variability models with tool support. In: Jornadas de Ingenier\u0131a del Software y de Bases de Datos (JISBD 2014), C\u00e1diz, Spain, p. 160 (2014)"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Roos-Frantz, F., Galindo, J.A., Benavides, D., Ruiz-Cort\u00e9s, A.: FaMa-OVM: a tool for the automated analysis of OVMs. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, pp. 250\u2013254. ACM (2012)","DOI":"10.1145\/2364412.2364456"},{"key":"29_CR21","unstructured":"Segura, S., Benavides, D., Ruiz-Cort\u00e9s, A.: Fama test suite v1. ISA Research Group, p. 41 (2010)"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4204\/EPTCS.206.5","volume":"206","author":"Anjali Sree-Kumar","year":"2016","unstructured":"Sree-Kumar, A., Planas, E., Clariso, R.: Analysis of feature models using alloy: a survey. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 46\u201360 (2016). http:\/\/dx.doi.org\/10.4204\/EPTCS.206.5","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"1","key":"29_CR23","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 61\u2013645 (2014)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95171-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T05:14:08Z","timestamp":1571548448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95171-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319951706","9783319951713"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95171-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}