{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:37:52Z","timestamp":1777106272906,"version":"3.51.4"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2020,8,5]],"date-time":"2020-08-05T00:00:00Z","timestamp":1596585600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,8,5]],"date-time":"2020-08-05T00:00:00Z","timestamp":1596585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Science Foundation","award":["1318808"],"award-info":[{"award-number":["1318808"]}]},{"name":"National Science Foundation","award":["1552944"],"award-info":[{"award-number":["1552944"]}]},{"name":"National Science Foundation","award":["1717022"],"award-info":[{"award-number":["1717022"]}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"crossref","award":["FA8750-16-2-0042"],"award-info":[{"award-number":["FA8750-16-2-0042"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["AP 206\/7-2"],"award-info":[{"award-number":["AP 206\/7-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["AP 206\/11-1"],"award-info":[{"award-number":["AP 206\/11-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["SI 2171\/2"],"award-info":[{"award-number":["SI 2171\/2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["SI 2171\/3-1"],"award-info":[{"award-number":["SI 2171\/3-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s10515-020-00273-8","type":"journal-article","created":{"date-parts":[[2020,8,5]],"date-time":"2020-08-05T05:02:40Z","timestamp":1596603760000},"page":"265-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["ConfigCrusher: towards white-box performance analysis for configurable systems"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9564-6936","authenticated-orcid":false,"given":"Miguel","family":"Velez","sequence":"first","affiliation":[]},{"given":"Pooyan","family":"Jamshidi","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Sattler","sequence":"additional","affiliation":[]},{"given":"Norbert","family":"Siegmund","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,5]]},"reference":[{"key":"273_CR1","doi-asserted-by":"crossref","unstructured":"Al-Hajjaji, M., Krieter, S., Th\u00fcm, T., Lochau, M., Saake, G.: Incling: efficient product-line testing using incremental pairwise sampling. In: Proceedings of the International Conference Generative Programming and Component Engineering (GPCE), pp. 144\u2013155. ACM, New York (2016)","DOI":"10.1145\/3093335.2993253"},{"issue":"2","key":"273_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MS.2018.2885058","volume":"36","author":"J Aldrich","year":"2019","unstructured":"Aldrich, J., Garlan, D., Kaestner, C., Le Goues, C., Mohseni-Kabir, A., Ruchkin, I., Samuel, S., Schmerl, B., Timperley, C.S., Veloso, M., Voysey, I., Biswas, J., Guha, A., Holtz, J., Camara, J., Jamshidi, P.: Model-based adaptation for robotics software. IEEE Softw. 36(2), 83\u201390 (2019)","journal-title":"IEEE Softw."},{"key":"273_CR3","doi-asserted-by":"publisher","unstructured":"Andreasen, E.S., M\u00f8ller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Proceedings of the International Workshop State of the Art in Program Analysis (SOAP), pp. 31\u201336. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3088515.3088521","DOI":"10.1145\/3088515.3088521"},{"key":"273_CR4","doi-asserted-by":"crossref","unstructured":"Angerer, F., Grimmer, A., Pr\u00e4hofer, H., Gr\u00fcnbacher, P.: Configuration-aware change impact analysis. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 385\u2013395. IEEE Computer Society, Washington, DC (2015)","DOI":"10.1109\/ASE.2015.58"},{"key":"273_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013)"},{"key":"273_CR6","doi-asserted-by":"crossref","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le\u00a0Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. In: Proceedings of the Conference Programming Language Design and Implementation (PLDI), pp. 259\u2013269. ACM, New York (2014)","DOI":"10.1145\/2666356.2594299"},{"key":"273_CR7","doi-asserted-by":"crossref","unstructured":"Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. In: Proceedings of the Workshop Programming Languages and Analysis for Security (PLAS), pp. 113\u2013124. ACM, New York (2009)","DOI":"10.1145\/1554339.1554353"},{"key":"273_CR8","doi-asserted-by":"crossref","unstructured":"Austin, T.H., Flanagan, C.: Multiple facets for dynamic information flow. In: Proceedings of the Symposium Principles of Programming Languages (POPL), pp. 165\u2013178. ACM, New York (2012)","DOI":"10.1145\/2103656.2103677"},{"key":"273_CR9","doi-asserted-by":"crossref","unstructured":"Avdiienko, V., Kuznetsov, K., Gorla, A., Zeller, A., Arzt, S., Rasthofer, S., Bodden, E.: Mining apps for abnormal usage of sensitive data. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 426\u2013436. IEEE Press, Piscataway (2015)","DOI":"10.1109\/ICSE.2015.61"},{"key":"273_CR10","doi-asserted-by":"crossref","unstructured":"Barros, P., Just, R., Millstein, S., Vines, P., Dietl, W., dAmorim, M., Ernst, M.D.: Static analysis of implicit control flow: resolving Java reflection and android intents (t). In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 669\u2013679. IEEE Computer Society, Washington, DC (2015)","DOI":"10.1109\/ASE.2015.69"},{"issue":"1","key":"273_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"issue":"10","key":"273_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/2714064.2660212","volume":"49","author":"J Bell","year":"2014","unstructured":"Bell, J., Kaiser, G.: Phosphor: illuminating dynamic data flow in commodity JVMS. SIGPLAN Not. 49(10), 83\u2013101 (2014)","journal-title":"SIGPLAN Not."},{"key":"273_CR13","doi-asserted-by":"crossref","unstructured":"Bodden, E.: Self-adaptive static analysis. In: Proceedings of the International Conference Software Engineering (ICSE): New Ideas and Emerging Results, pp. 45\u201348. ACM, New York (2018)","DOI":"10.1145\/3183399.3183401"},{"issue":"19","key":"273_CR14","first-page":"1","volume":"30","author":"E Bruneton","year":"2002","unstructured":"Bruneton, E., Lenglet, R., Coupaye, T.: ASM: a code manipulation tool to implement adaptable systems. Adapt. Ext. Compon. Syst. 30(19), 1 (2002)","journal-title":"Adapt. Ext. Compon. Syst."},{"key":"273_CR15","doi-asserted-by":"crossref","unstructured":"Cashman, M., Cohen, M.B., Ranjan, P., Cottingham, R.W.: Navigating the maze: the impact of configurability in bioinformatics software. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 757\u2013767. ACM, New York (2018)","DOI":"10.1145\/3238147.3240466"},{"key":"273_CR16","doi-asserted-by":"crossref","unstructured":"Castro, P.D.O., Akel, C., Petit, E., Popov, M., Jalby, W.: Cere: LLVM-based codelet extractor and replayer for piecewise benchmarking and optimization. ACM Trans. Archit. Code Optim. (TACO) 12(1), 6:1\u20136:24 (2015)","DOI":"10.1145\/2724717"},{"key":"273_CR17","doi-asserted-by":"crossref","unstructured":"Christakis, M., Bird, C.: What developers want and need from program analysis: an empirical study. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 332\u2013343. ACM, New York (2016)","DOI":"10.1145\/2970276.2970347"},{"key":"273_CR18","doi-asserted-by":"crossref","unstructured":"Cito, J., Leitner, P., Bosshard, C., Knecht, M., Mazlami, G., Gall, H.C.: Performancehat: augmenting source code with runtime performance traces in the IDE. In: Proceedings of the International Conference Software Engineering, Companion Proceedings, pp. 41\u201344. ACM, New York (2018)","DOI":"10.1145\/3183440.3183481"},{"key":"273_CR19","doi-asserted-by":"crossref","unstructured":"Do, L.N.Q., Ali, K., Livshits, B., Bodden, E., Smith, J., Murphy-Hill, E.: Just-in-time static analysis. In: Proceedings of the International Symposium Software Testing and Analysis (ISSTA), pp. 307\u2013317. ACM, New York (2017)","DOI":"10.1145\/3092703.3092705"},{"key":"273_CR20","doi-asserted-by":"crossref","unstructured":"Dong, Z., Andrzejak, A., Lo, D., Costa, D.: Orplocator: identifying read points of configuration options via static analysis. In: Proceedings of the International Symposium Software Reliability Engineering (ISSRE), pp. 185\u2013195 (2016)","DOI":"10.1109\/ISSRE.2016.37"},{"key":"273_CR21","unstructured":"Enck, W., Gilbert, P., Chun, B.G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N.: Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: Proceedings of the Conference Operating Systems Design and Implementation (OSDI), pp. 393\u2013407. USENIX Association, Berkeley (2010)"},{"issue":"11","key":"273_CR22","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1109\/TSE.2013.37","volume":"39","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Elkhodary, A., Malek, S.: A learning-based framework for engineering feature-oriented self-adaptive software systems. IEEE Trans. Softw. Eng. 39(11), 1467\u20131493 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"273_CR23","doi-asserted-by":"publisher","unstructured":"Garbervetsky, D., Zoppi, E., Livshits, B.: Toward full elasticity in distributed static analysis: the case of callgraph analysis. In: Proceedings of the European Software Engineering Conference Foundations of Software Engineering (ESEC\/FSE), pp. 442\u2013453. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3106237.3106261","DOI":"10.1145\/3106237.3106261"},{"issue":"10","key":"273_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1297105.1297033","volume":"42","author":"A Georges","year":"2007","unstructured":"Georges, A., Buytaert, D., Eeckhout, L.: Statistically rigorous Java performance evaluation. SIGPLAN Not. 42(10), 57\u201376 (2007)","journal-title":"SIGPLAN Not."},{"issue":"6","key":"273_CR25","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/2909476","volume":"59","author":"B Gregg","year":"2016","unstructured":"Gregg, B.: The flame graph. Commun. ACM 59(6), 48\u201357 (2016)","journal-title":"Commun. ACM"},{"key":"273_CR26","doi-asserted-by":"crossref","unstructured":"Gui, J., Li, D., Wan, M., Halfond, W.G.J.: Lightweight measurement and estimation of mobile ad energy consumption. In: Proceedings of the International Workshop Green and Sustainable Software (GREENS), pp. 1\u20137. ACM, New York (2016)","DOI":"10.1145\/2896967.2896970"},{"key":"273_CR27","doi-asserted-by":"crossref","unstructured":"Guo, J., Czarnecki, K., Apel, S., Siegmund, N., W\u0105sowski, A.: Variability-aware performance prediction: a statistical learning approach. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 301\u2013311. IEEE Computer Society\/ACM, London\/New York (2013)","DOI":"10.1109\/ASE.2013.6693089"},{"key":"273_CR28","doi-asserted-by":"crossref","unstructured":"Gupta, A., Zimmermann, T., Bird, C., Nagappan, N., Bhat, T., Emran, S.: Mining energy traces to aid in software development: an empirical case study. In: Proceedings of the International Symposium Empirical Software Engineering and Measurement (ESEM), pp. 40:1\u201340:8. ACM, New York (2014)","DOI":"10.1145\/2652524.2652578"},{"key":"273_CR29","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/s10664-018-9635-4","volume":"24","author":"A Halin","year":"2018","unstructured":"Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., Baudry, B.: Test them all, is it worth it? Assessing configuration sampling on the Jhipster web development stack. Empir. Softw. Eng. 24, 674\u2013717 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"273_CR30","doi-asserted-by":"crossref","unstructured":"Han, X., Yu, T.: An empirical study on performance bugs for highly configurable software systems. In: Proceedings of the International Symposium Empirical Software Engineering and Measurement (ESEM), pp. 23:1\u201323:10. ACM, New York (2016)","DOI":"10.1145\/2961111.2962602"},{"key":"273_CR31","doi-asserted-by":"crossref","unstructured":"Han, X., Yu, T., Lo, D.: Perflearner: learning from bug reports to understand and generate performance test frames. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 17\u201328. ACM, New York (2018)","DOI":"10.1145\/3238147.3238204"},{"key":"273_CR32","doi-asserted-by":"crossref","unstructured":"Hao, S., Li, D., Halfond, W.G.J., Govindan, R.: Estimating mobile application energy consumption using program analysis. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 92\u2013101. IEEE Press, Piscataway (2013)","DOI":"10.1109\/ICSE.2013.6606555"},{"key":"273_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139226424","volume-title":"Performance Modeling and Design of Computer Systems: Queueing Theory in Action","author":"M Harchol-Balter","year":"2013","unstructured":"Harchol-Balter, M.: Performance Modeling and Design of Computer Systems: Queueing Theory in Action, 1st edn. Cambridge University Press, New York (2013)","edition":"1"},{"key":"273_CR34","doi-asserted-by":"crossref","unstructured":"Hervieu, A., Baudry, B., Gotlieb, A.: Pacogen: automatic generation of pairwise test configurations from feature models. In: International Symposium Software Reliability Engineering, pp. 120\u2013129 (2011)","DOI":"10.1109\/ISSRE.2011.31"},{"key":"273_CR35","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.infsof.2015.11.007","volume":"71","author":"A Hervieu","year":"2016","unstructured":"Hervieu, A., Marijan, D., Gotlieb, A., Baudry, B.: Optimal minimisation of pairwise-covering test configurations using constraint programming. Inf. Softw. Technol. 71, 129\u2013146 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"273_CR36","doi-asserted-by":"crossref","unstructured":"Hoffmann, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A., Rinard, M.: Dynamic knobs for responsive power-aware computing. In: Proceedings of the International Conference Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 199\u2013212. ACM, New York (2011)","DOI":"10.1145\/1961295.1950390"},{"key":"273_CR37","doi-asserted-by":"crossref","unstructured":"Hubaux, A., Xiong, Y., Czarnecki, K.: A user survey of configuration challenges in Linux and ECOS. In: Proceedings of the Workshop Variability Modeling of Software-Intensive Systems (VAMOS), pp. 149\u2013155. ACM, New York (2012)","DOI":"10.1145\/2110147.2110164"},{"key":"273_CR38","doi-asserted-by":"crossref","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Proceedings of the International Conference Learning and Intelligent Optimization, pp. 507\u2013523. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"273_CR39","doi-asserted-by":"crossref","unstructured":"Jabbarvand, R., Sadeghi, A., Bagheri, H., Malek, S.: Energy-aware test-suite minimization for android apps. In: Proceedings of the International Symposium Software Testing and Analysis (ISSTA), pp. 425\u2013436. ACM, New York (2016)","DOI":"10.1145\/2931037.2931067"},{"key":"273_CR40","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Casale, G.: An uncertainty-aware approach to optimal configuration of stream processing systems. In: International Symposium Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 39\u201348 (2016)","DOI":"10.1109\/MASCOTS.2016.17"},{"key":"273_CR41","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Siegmund, N., Velez, M., K\u00e4stner, C., Patel, A., Agarwal, Y.: Transfer learning for performance modeling of configurable systems: an exploratory analysis. In: Proceedings of the International Conference Automated Software Engineering (ASE). ACM, New York (2017a)","DOI":"10.1109\/ASE.2017.8115661"},{"key":"273_CR42","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Velez, M., K\u00e4stner, C., Siegmund, N., Kawthekar, P.: Transfer learning for improving model predictions in highly configurable software. In: Proceedings of the International Symposium Software Engineering for Adaptive and Self-managing Systems (SEAMS), pp. 31\u201341. IEEE Computer Society, Los Alamitos (2017b)","DOI":"10.1109\/SEAMS.2017.11"},{"key":"273_CR43","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Velez, M., K\u00e4stner, C., Siegmund, N.: Learning to sample: exploiting similarities across environments to learn performance models for configurable systems. In: Proceedings of the International Symposium Foundations of Software Engineering (FSE), pp. 71\u201382. ACM, New York (2018)","DOI":"10.1145\/3236024.3236074"},{"key":"273_CR44","doi-asserted-by":"crossref","unstructured":"Jin, D., Qu, X., Cohen, M.B., Robinson, B.: Configurations everywhere: implications for testing and debugging in practice. In: Companion Proceedings of the International Conference Software Engineering, pp. 215\u2013224. ACM, New York (2014)","DOI":"10.1145\/2591062.2591191"},{"key":"273_CR45","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Batory, D.S., Khurshid. S.: Reducing combinatorics in testing product lines. In: Proceedings of the International Conference Aspect-Oriented Software Development (AOSD), pp. 57\u201368. ACM, New York (2011)","DOI":"10.1145\/1960275.1960284"},{"key":"273_CR46","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Marinov, D., Khurshid, S., Batory, D., Souto, S., Barros, P., d\u2019Amorim, M.: Splat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. In: Proceedings of the European Software Engineering Conference Foundations of Software Engineering (ESEC\/FSE), pp. 257\u2013267. ACM, New York (2013)","DOI":"10.1145\/2491411.2491459"},{"key":"273_CR47","doi-asserted-by":"crossref","unstructured":"Kolesnikov, S., Siegmund, N., K\u00e4stner, C., Grebhahn, A., Apel, S.: Tradeoffs in modeling performance of highly configurable software systems. Software and System Modeling (SoSyM) (2018)","DOI":"10.1007\/s10270-018-0662-9"},{"key":"273_CR48","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1214\/12-EJS691","volume":"6","author":"F Konietschke","year":"2012","unstructured":"Konietschke, F., Hothorn, L.A., Brunner, E.: Rank-based multiple test procedures and simultaneous confidence intervals. Electron. J. Stat. 6, 738\u2013759 (2012)","journal-title":"Electron. J. Stat."},{"key":"273_CR49","volume-title":"Introduction to Combinatorial Testing","author":"DR Kuhn","year":"2013","unstructured":"Kuhn, D.R., Kacker, R.N., Lei, Y.: Introduction to Combinatorial Testing, vol. 1. Chapman & Hall, London (2013)"},{"key":"273_CR50","doi-asserted-by":"crossref","unstructured":"Lerch, J., Sp\u00e4th, J., Bodden, E., Mezini, M.: Access-path abstraction: scaling field-sensitive data-flow analysis with unbounded access paths (t). In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 619\u2013629. IEEE Computer Society, Washington, DC (2015)","DOI":"10.1109\/ASE.2015.9"},{"issue":"12","key":"273_CR51","doi-asserted-by":"publisher","first-page":"1269","DOI":"10.1109\/TSE.2017.2756048","volume":"44","author":"M Lillack","year":"2018","unstructured":"Lillack, M., K\u00e4stner, C., Bodden, E.: Tracking load-time configuration options. IEEE Trans. Softw. Eng. 44(12), 1269\u20131291 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"273_CR52","doi-asserted-by":"crossref","unstructured":"Medeiros, F., K\u00e4stner, C., Ribeiro, M., Gheyi, R., Apel, S.: A comparison of 10 sampling algorithms for configurable systems. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 643\u2013654. ACM, New York (2016)","DOI":"10.1145\/2884781.2884793"},{"key":"273_CR53","doi-asserted-by":"crossref","unstructured":"Meinicke, J., Wong, C.P., K\u00e4stner, C., Th\u00fcm, T., Saake, G.: On essential configuration complexity: measuring interactions in highly-configurable systems. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 483\u2013494. ACM, New York (2016)","DOI":"10.1145\/2970276.2970322"},{"key":"273_CR54","volume-title":"Design and Analysis of Experiments","author":"DC Montgomery","year":"2006","unstructured":"Montgomery, D.C.: Design and Analysis of Experiments. Wiley, London (2006)"},{"key":"273_CR55","doi-asserted-by":"crossref","unstructured":"Mostafa, S., Wang, X., Xie, T.: Perfranker: prioritization of performance regression tests for collection-intensive software. In: Proceedings of the International Symposium Software Testing and Analysis (ISSTA), pp. 23\u201334. ACM, New York (2017)","DOI":"10.1145\/3092703.3092725"},{"key":"273_CR56","doi-asserted-by":"crossref","unstructured":"Nguyen, T., Koc, T., Cheng, J., Foster, J.S., Porter, A.A.: iGen dynamic interaction inference for configurable software. In: Proceedings of the International Symposium Foundations of Software Engineering (FSE), IEEE Computer Society, Los Alamitos (2016)","DOI":"10.1145\/2950290.2950311"},{"key":"273_CR57","doi-asserted-by":"crossref","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. (CSUR) 43(2), 11:1\u201311:29 (2011)","DOI":"10.1145\/1883612.1883618"},{"key":"273_CR58","doi-asserted-by":"crossref","unstructured":"Oh, J., Batory, D., Myers, M., Siegmund, N.: Finding near-optimal configurations in product lines by random sampling. In: Proceedings of the European Software Engineering Conference Foundations of Software Engineering (ESEC\/FSE), pp. 61\u201371. ACM, New York (2017)","DOI":"10.1145\/3106237.3106273"},{"key":"273_CR59","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Rayside, D., Guo, J., Czarnecki, K.: Comparison of exact and approximate multi-objective optimization for software product lines. In: Proceedings of the International Software Product Line Conference (SPLC), pp. 92\u2013101. ACM, New York (2014)","DOI":"10.1145\/2648511.2648521"},{"key":"273_CR60","doi-asserted-by":"publisher","unstructured":"Pauck, F., Bodden, E., Wehrheim, H.: Do android taint analysis tools keep their promises? In: Proceedings of the International Symposium Foundations of Software Engineering (FSE), pp. 331\u2013341. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3236024.3236029","DOI":"10.1145\/3236024.3236029"},{"key":"273_CR61","doi-asserted-by":"crossref","unstructured":"Qiu, L., Wang, Y., Rubin, J.: Analyzing the analyzers: FlowDroid\/IccTA, AmanDroid, and DroidSafe. In: Proceedings of the International Symposium Software Testing and Analysis (ISSTA), pp. 176\u2013186. ACM, New York (2018)","DOI":"10.1145\/3213846.3213873"},{"key":"273_CR62","doi-asserted-by":"crossref","unstructured":"Rabkin, A., Katz, R.: Static extraction of program configuration options. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 131\u2013140. ACM, New York (2011)","DOI":"10.1145\/1985793.1985812"},{"key":"273_CR63","doi-asserted-by":"crossref","unstructured":"Reisner, E., Song, C., Ma, K.K., Foster, J.S., Porter, A.: Using symbolic evaluation to understand behavior in configurable software systems. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 445\u2013454. ACM, New York (2010)","DOI":"10.1145\/1806799.1806864"},{"key":"273_CR64","doi-asserted-by":"crossref","unstructured":"Sarkar, A., Guo, J., Siegmund, N., Apel, S., Czarnecki, K.: Cost-efficient sampling for performance prediction of configurable systems. In: Proceedings of the International Conference Automated Software Engineering (ASE), pp. 342\u2013352. IEEE Computer Society, Washington, DC (2015)","DOI":"10.1109\/ASE.2015.45"},{"key":"273_CR65","unstructured":"Saumont, P.-Y.: Lazy computations in Java with a lazy type (2017). https:\/\/www.sitepoint.com\/lazy-computations-in-java-with-a-lazy-type\/. Accessed 24 Jan 2018"},{"key":"273_CR66","unstructured":"Serazzri, G., Casale, G., Bertoli, M., Serazzri, G., Casale, G., Bertoli, M.: Java modelling tools: an open source suite for queueing network modelling andworkload analysis. In: 3rd International Conference on the Quantitative Evaluation of Systems\u2014(QEST\u201906), pp. 119\u2013120 (2006)"},{"key":"273_CR67","doi-asserted-by":"crossref","unstructured":"Siegmund, N., Kolesnikov, S.S., K\u00e4stner, C., Apel, S., Batory, D., Rosenm\u00fcller, M., Saake, G.: Predicting performance via automated feature-interaction detection. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 167\u2013177. IEEE Press, Piscataway (2012a)","DOI":"10.1109\/ICSE.2012.6227196"},{"issue":"3\u20134","key":"273_CR68","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","volume":"20","author":"N Siegmund","year":"2012","unstructured":"Siegmund, N., Rosenm\u00fcller, M., Kuhlemann, M., K\u00e4stner, C., Apel, S., Saake, G.: SPL conqueror: toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20(3\u20134), 487\u2013517 (2012b)","journal-title":"Softw. Qual. J."},{"key":"273_CR69","doi-asserted-by":"crossref","unstructured":"Siegmund, N., von Rhein, A., Apel, S.: Family-based performance measurement. In: Proceedings of the International Conference Generative Programming and Component Engineering (GPCE), pp. 95\u2013104. ACM, New York (2013)","DOI":"10.1145\/2517208.2517209"},{"key":"273_CR70","doi-asserted-by":"crossref","unstructured":"Siegmund, N., Grebhahn, A., Apel, S., K\u00e4stner, C.: Performance-influence models for highly configurable systems. In: Proceedings of the European Software Engineering Conference Foundations of Software Engineering (ESEC\/FSE), pp. 284\u2013294. ACM, New York (2015)","DOI":"10.1145\/2786805.2786845"},{"key":"273_CR71","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/j.jss.2017.08.010","volume":"137","author":"S Souto","year":"2018","unstructured":"Souto, S., d\u2019Amorim, M.: Time-space efficient regression testing for configurable systems. J. Syst. Softw. 137, 733\u2013746 (2018)","journal-title":"J. Syst. Softw."},{"key":"273_CR72","doi-asserted-by":"crossref","unstructured":"Souto, S., d\u2019Amorim, M., Gheyi, R.: Balancing soundness and efficiency for practical testing of configurable systems. In: Proceedings of the International Conference Software Engineering (ICSE), pp. 632\u2013642. IEEE Press, Piscataway (2017)","DOI":"10.1109\/ICSE.2017.64"},{"key":"273_CR73","doi-asserted-by":"publisher","unstructured":"Sp\u00e4th, J., Ali, K., Bodden, E.: Ideal: efficient and precise alias-aware dataflow analysis. Proc. ACM Program Lang. 1(OOPSLA):99:1\u201399:27 (2017). https:\/\/doi.org\/10.1145\/3133923","DOI":"10.1145\/3133923"},{"issue":"1","key":"273_CR74","doi-asserted-by":"publisher","first-page":"6:1","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. (CSUR) 47(1), 6:1\u20136:45 (2014)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"273_CR75","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot\u2014a Java bytecode optimization framework. In: Proceedings of the Conference Centre for Advanced Studies on Collaborative Research (CASCON), p. 13. IBM Press, London (1999)"},{"key":"273_CR76","doi-asserted-by":"crossref","unstructured":"Valov, P., Petkovich, J.C., Guo, J., Fischmeister, S., Czarnecki, K.: Transferring performance prediction models across different hardware platforms. In: Proceedings of the International Conference on Performance Engineering (ICPE), pp. 39\u201350. ACM, New York (2017)","DOI":"10.1145\/3030207.3030216"},{"key":"273_CR77","doi-asserted-by":"crossref","unstructured":"Velez, M., Jamshidi, P., Sattler, F., Siegmund, N., Apel, S., K\u00e4stner, C.: Configcrusher: towards white-box performance analysis for configurable systems\u2014Supplementary Material\u2014https:\/\/bit.ly\/3diKZmK (2019)","DOI":"10.1007\/s10515-020-00273-8"},{"key":"273_CR78","doi-asserted-by":"publisher","unstructured":"Wang, B., Passos, L., Xiong, Y., Czarnecki, K., Zhao, H., Zhang, W.: Smartfixer: fixing software configurations based on dynamic priorities. In: Proceedings of the International Software Product Line Conference (SPLC), pp 82\u201390. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2491627.2491640","DOI":"10.1145\/2491627.2491640"},{"key":"273_CR79","doi-asserted-by":"crossref","unstructured":"Wang, Y., Zhang, H., Rountev, A.: On the unsoundness of static analysis for android GUIS. In: Proceedings of the International Workshop State of the Art in Program Analysis (SOAP), pp. 18\u201323. ACM, New York (2016)","DOI":"10.1145\/2931021.2931026"},{"key":"273_CR80","doi-asserted-by":"crossref","unstructured":"Wang, S., Li, C., Hoffmann, H., Lu, S., Sentosa, W., Kistijantoro, A.I.: Understanding and auto-adjusting performance-sensitive configurations. In: Proceedings of the International Conference Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 154\u2013168. ACM, New York (2018)","DOI":"10.1145\/3173162.3173206"},{"key":"273_CR81","doi-asserted-by":"crossref","unstructured":"Weisenburger, P., Luthra, M., Koldehofe, B., Salvaneschi, G.: Quality-aware runtime adaptation in complex event processing. In: Proceedings of the International Symposium Software Engineering for Adaptive and Self-managing Systems (SEAMS), pp. 140\u2013151. IEEE Computer Society, Los Alamitos (2017)","DOI":"10.1109\/SEAMS.2017.10"},{"key":"273_CR82","doi-asserted-by":"crossref","unstructured":"Xu, T., Zhang, J., Huang, P., Zheng, J., Sheng, T., Yuan, D., Zhou, Y., Pasupathy, S.: Do not blame users for misconfigurations. In: Proceedings of the Symposium Operating Systems Principles, pp. 244\u2013259. ACM, New York (2013)","DOI":"10.1145\/2517349.2522727"},{"key":"273_CR83","doi-asserted-by":"crossref","unstructured":"Xu, T., Jin, L., Fan, X., Zhou, Y., Pasupathy, S., Talwadker, R.: Hey, you have given me too many knobs!: Understanding and dealing with over-designed configuration in system software. In: Proceedings of the European Software Engineering Conference Foundations of Software Engineering (ESEC\/FSE), pp. 307\u2013319. ACM, New York (2015)","DOI":"10.1145\/2786805.2786852"},{"key":"273_CR84","doi-asserted-by":"crossref","unstructured":"Yang, J., Hance, T., Austin, T.H., Solar-Lezama, A., Flanagan, C., Chong, S.: Precise, dynamic information flow for database-backed applications. In: Proceedings of the Conference Programming Language Design and Implementation (PLDI), pp. 631\u2013647. ACM, New York (2016)","DOI":"10.1145\/2980983.2908098"},{"issue":"5","key":"273_CR85","doi-asserted-by":"publisher","first-page":"3034","DOI":"10.1007\/s10664-017-9578-1","volume":"23","author":"T Yu","year":"2018","unstructured":"Yu, T., Pradel, M.: Pinpointing and repairing performance bottlenecks in concurrent programs. Empir. Softw. Eng. 23(5), 3034\u20133071 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"273_CR86","doi-asserted-by":"publisher","unstructured":"Zhang, Q., Su, Z.: Context-sensitive data-dependence analysis via linear conjunctive language reachability. In: Proceedings of the Symposium Principles of Programming Languages (POPL), pp. 344\u2013358. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3009837.3009848","DOI":"10.1145\/3009837.3009848"},{"key":"273_CR87","doi-asserted-by":"crossref","unstructured":"Zhu, Y., Liu, J., Guo, M., Bao, Y., Ma, W., Liu, Z., Song, K., Yang, Y.: Bestconfig: tapping the performance potential of systems via automatic configuration tuning. In: Proceedings of the Symposium Cloud Computing (SoCC), pp. 338\u2013350. ACM, New York (2017)","DOI":"10.1145\/3127479.3128605"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00273-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-020-00273-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00273-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,5]],"date-time":"2022-11-05T19:44:38Z","timestamp":1667677478000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-020-00273-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,5]]},"references-count":87,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["273"],"URL":"https:\/\/doi.org\/10.1007\/s10515-020-00273-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,5]]},"assertion":[{"value":"13 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}