{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:21Z","timestamp":1776373461537,"version":"3.51.2"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319489889","type":"print"},{"value":"9783319489896","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_14","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T01:31:19Z","timestamp":1478482279000},"page":"217-234","source":"Crossref","is-referenced-by-count":12,"title":["Finding Suitable Variability Abstractions for Family-Based Analysis"],"prefix":"10.1007","author":[{"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Brabrand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Apel, S., von Rhein, A., Wendler, P., Gr\u00f6\u00dflinger, A., Beyer, D.: Strategies for product-line verification: case studies and experiments. In: 35th International Conference on Software Engineering, ICSE 2013, pp. 482\u2013491 (2013)","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bodden, E., Tol\u00eado, T., Ribeiro, M., Brabrand, C., Borba, P., Mezini, M.: Spl $${}^{\\text{lift}}$$ lift : statically analyzing software product lines in minutes instead of years. In: ACM SIGPLAN Conference on PLDI 2013, pp. 355\u2013364 (2013)","DOI":"10.1145\/2499370.2491976"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-36964-3_3","volume-title":"Transactions on Aspect-Oriented Software Development X","author":"C Brabrand","year":"2013","unstructured":"Brabrand, C., Ribeiro, M., Tol\u00eado, T., Winther, J., Borba, P.: Intraprocedural dataflow analysis for software product lines. In: Leavens, G.T., Chiba, S., Tanter, \u00c9. (eds.) Transactions on Aspect-Oriented Software Development X. LNCS, vol. 7800, pp. 73\u2013108. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36964-3_3"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M., Walkingshaw, E.: An error-tolerant type system for variational lambda calculus. In: ACM SIGPLAN International Conference on Functional Programming, ICFP 2012, pp. 29\u201340 (2012)","DOI":"10.1145\/2364527.2364535"},{"issue":"5","key":"14_CR5","doi-asserted-by":"crossref","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":"14_CR6","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: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, vol. 1, pp. 335\u2013344 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"14_CR7","volume-title":"Practices and Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L., Lines, S.P.: Practices and Patterns. Addison-Wesley, Reading (2001)"},{"key":"14_CR8","series-title":"NATO ASI Series","volume-title":"Calculational System Design","author":"P Cousot","year":"1999","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbr\u00fcggen, R. (eds.) Calculational System Design. NATO ASI Series. F. IOS Press, Amsterdam (1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Sethi, R. (ed.) POPL 1977, Los Angeles, California, pp. 238\u2013252, January 1977","DOI":"10.1145\/512950.512973"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1016\/j.tcs.2014.01.016","volume":"560","author":"AS Dimovski","year":"2014","unstructured":"Dimovski, A.S.: Program verification using symbolic game semantics. Theor. Comput. Sci. 560, 364\u2013379 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-32582-8_2","volume-title":"Model Checking Software","author":"AS Dimovski","year":"2016","unstructured":"Dimovski, A.S.: Symbolic game semantics for model checking program families. In: Bo\u0161na\u010dki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 19\u201337. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-32582-8_2"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-319-23404-5_18","volume-title":"Model Checking Software","author":"AS Dimovski","year":"2015","unstructured":"Dimovski, A.S., Al-Sibahi, A.S., Brabrand, C., W\u0105sowski, A.: Family-based model checking without a family-based model checker. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 282\u2013299. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23404-5_18"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Dimovski, A.S., Al-Sibahi, A.S., Brabrand, C., Wasowski, A.: Efficient family-based model checking via variability abstractions. STTT (2016). doi: 10.1007\/s10009-016-0425-2","DOI":"10.1007\/s10009-016-0425-2"},{"key":"14_CR14","unstructured":"Dimovski, A.S., Brabrand, C., Wasowski, A.: Variability abstractions: trading precision for speed in family-based analyses. In: 29th European Conference on Object-Oriented Programming, ECOOP 2015. LIPIcs, vol. 37, pp. 247\u2013270. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"14_CR15","unstructured":"CERN: European Organization for Nuclear Research: The colt project: open source libraries for high performance scientific and technical computing in Java. In: CERN (1999)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Iosif-Lazar, A.F., Al-Sibahi, A.S., Dimovski, A.S., Savolainen, J.E., Sierszecki, K., Wasowski, A.: Experiences from designing and validating a software modernization transformation (E). In: 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015, pp. 597\u2013607 (2015)","DOI":"10.1109\/ASE.2015.84"},{"key":"14_CR17","unstructured":"K\u00e4stner, C.: Virtual Separation of Concerns: toward Preprocessors 2.0. Ph.D. thesis, University of Magdeburg, Germany, May 2010"},{"issue":"3","key":"14_CR18","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/2211616.2211617","volume":"21","author":"C K\u00e4stner","year":"2012","unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. ACM Trans. Softw. Eng. Methodol. 21(3), 14 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Giarrusso, P.G., Rendel, T., Erdweg, S., Ostermann, K., Berger, T.: Variability-aware parsing in the presence of lexical macros and conditional compilation. In: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, pp. 805\u2013824 (2011)","DOI":"10.1145\/2048066.2048128"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Liang, P., Tripp, O., Naik, M.: Learning minimal abstractions. In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, pp. 31\u201342 (2011)","DOI":"10.1145\/1926385.1926391"},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.scico.2015.04.005","volume":"105","author":"J Midtgaard","year":"2015","unstructured":"Midtgaard, J., Dimovski, A.S., Brabrand, C., Wasowski, A.: Systematic derivation of correct variability-aware program analyses. Sci. Comput. Program. 105, 145\u2013170 (2015)","journal-title":"Sci. Comput. Program."},{"key":"14_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Secaucus (1999)"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Oh, H., Lee, W., Heo, K., Yang, H., Yi, K.: Selective context-sensitivity guided by impact pre-analysis. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, p. 49 (2014)","DOI":"10.1145\/2666356.2594318"},{"issue":"2","key":"14_CR24","first-page":"6","volume":"38","author":"O Hakjoo","year":"2016","unstructured":"Hakjoo, O., Lee, W., Heo, K., Yang, H., Yi, K.: Selective x-sensitive analysis guided by impact pre-analysis. ACM Trans. Program. Lang. Syst. 38(2), 6 (2016)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1995, pp. 49\u201361 (1995)","DOI":"10.1145\/199448.199462"},{"issue":"1","key":"14_CR26","doi-asserted-by":"crossref","first-page":"6","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), 6 (2014)","journal-title":"ACM Comput. Surv."},{"key":"14_CR27","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research (CASCON 1999), p. 13. IBM Press (1999)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, X., Naik, M., Yang, H.: Finding optimum abstractions in parametric dataflow analysis. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, pp. 365\u2013376 (2013)","DOI":"10.1145\/2491956.2462185"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:53:34Z","timestamp":1568526814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}