{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:19:13Z","timestamp":1743106753333,"version":"3.40.3"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030613617"},{"type":"electronic","value":"9783030613624"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-61362-4_17","type":"book-chapter","created":{"date-parts":[[2020,10,28]],"date-time":"2020-10-28T13:02:36Z","timestamp":1603890156000},"page":"307-322","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Inferring Performance from Code: A Review"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Incerto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annalisa","family":"Napolitano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,29]]},"reference":[{"key":"17_CR1","unstructured":"Android Developers\u2019 Guide: Threading performance. \nhttps:\/\/developer.android.com\/topic\/performance\/threads.html\n\n. Accessed 23 July 2020"},{"key":"17_CR2","unstructured":"NASA delays satellite launch after finding bugs in software program. \nhttps:\/\/fcw.com\/Articles\/1998\/04\/19\/NASA-delays-satellite-launch-after-finding-bugs-in-software-program.aspx\n\n. Accessed 4 Feb 2018"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Ahmad, T., Ashraf, A., Truscan, D., Porres, I.: Exploratory performance testing using reinforcement learning. In: 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 156\u2013163. IEEE (2019)","DOI":"10.1109\/SEAA.2019.00032"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-24851-4_8","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"G Ammons","year":"2004","unstructured":"Ammons, G., Choi, J.-D., Gupta, M., Swamy, N.: Finding and removing performance bottlenecks in large systems. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 172\u2013196. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24851-4_8"},{"issue":"3","key":"17_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3182657","volume":"51","author":"R Baldoni","year":"2018","unstructured":"Baldoni, R., Coppa, E., D\u2019elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. (CSUR) 51(3), 1\u201339 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"17_CR6","unstructured":"Ball, T., Larus, J.R.: Efficient path profiling. In: Proceedings of the 29th Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO 29, pp. 46\u201357. IEEE (1996)"},{"issue":"5","key":"17_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR8","unstructured":"Barham, P., Donnelly, A., Isaacs, R., Mortier, R.: Using magpie for request extraction and workload modelling. In: OSDI, vol. 4, p. 18 (2004)"},{"key":"17_CR9","unstructured":"Barham, P., Isaacs, R., Mortier, R., Narayanan, D.: Magpie: online modelling and performance-aware systems. In: HotOS, pp. 85\u201390 (2003)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and Performance (WOSP), pp. 54\u201365 (2007)","DOI":"10.1145\/1216993.1217006"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571","volume-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"G Bolch","year":"2006","unstructured":"Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley, Hoboken (2006)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Borges, M., Filieri, A., d\u2019Amorim, M., P\u0103s\u0103reanu, C.S.: Iterative distribution-aware sampling for probabilistic symbolic execution. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 866\u2013877 (2015)","DOI":"10.1145\/2786805.2786832"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Br\u00fcnink, M., Rosenblum, D.S.: Mining performance specifications. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 39\u201349 (2016)","DOI":"10.1145\/2950290.2950314"},{"key":"17_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4078-3","volume-title":"Introduction to Rare Event Simulation","author":"J Bucklew","year":"2013","unstructured":"Bucklew, J.: Introduction to Rare Event Simulation. Springer, New York (2013). \nhttps:\/\/doi.org\/10.1007\/978-1-4757-4078-3"},{"issue":"2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1214\/aos\/1018031204","volume":"27","author":"P B\u00fchlmann","year":"1999","unstructured":"B\u00fchlmann, P., Wyner, A.J., et al.: Variable length Markov chains. Ann. Stat. 27(2), 480\u2013513 (1999)","journal-title":"Ann. Stat."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Buse, R.P., Weimer, W.: The road not taken: estimating path execution frequency statically. In: 2009 IEEE 31st International Conference on Software Engineering, pp. 144\u2013154. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070516"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Cai, Y., Sullivan, K.J.: Modularity analysis of logical design models. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE 2006), pp. 91\u2013102. IEEE (2006)","DOI":"10.1109\/ASE.2006.53"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Chen, B., Liu, Y., Le, W.: Generating performance distributions via probabilistic symbolic execution. In: Proceedings of the 38th International Conference on Software Engineering, pp. 49\u201360 (2016)","DOI":"10.1145\/2884781.2884794"},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"TY Chen","year":"2010","unstructured":"Chen, T.Y., Kuo, F.C., Merkel, R.G., Tse, T.: Adaptive random testing: the art of test case diversity. J. Syst. Softw. 83(1), 60\u201366 (2010)","journal-title":"J. Syst. Softw."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Chen, Z., et al.: Speedoo: prioritizing performance optimization opportunities. In: Proceedings of the 40th International Conference on Software Engineering, pp. 811\u2013821 (2018)","DOI":"10.1145\/3180155.3180229"},{"issue":"6","key":"17_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/2345156.2254076","volume":"47","author":"E Coppa","year":"2012","unstructured":"Coppa, E., Demetrescu, C., Finocchi, I.: Input-sensitive profiling. ACM SIGPLAN Not. 47(6), 89\u201398 (2012)","journal-title":"ACM SIGPLAN Not."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Filieri, A., P\u0103s\u0103reanu, C.S., Visser, W., Geldenhuys, J.: Statistical symbolic execution with informed sampling. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 437\u2013448 (2014)","DOI":"10.1145\/2635868.2635899"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Garcia, J., Krka, I., Mattmann, C., Medvidovic, N.: Obtaining ground-truth software architectures. In: Proceedings of the 35th International Conference on Software Engineering (ICSE), pp. 901\u2013910 (2013)","DOI":"10.1109\/ICSE.2013.6606639"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Geldenhuys, J., Dwyer, M.B., Visser, W.: Probabilistic symbolic execution. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis, pp. 166\u2013176 (2012)","DOI":"10.1145\/2338965.2336773"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Goldsmith, S.F., Aiken, A.S., Wilkerson, D.S.: Measuring empirical computational complexity. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 395\u2013404 (2007)","DOI":"10.1145\/1287624.1287681"},{"key":"17_CR26","unstructured":"Gomes, C.P., Sabharwal, A., Selman, B.: Model counting (2008)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Proceedings of the Future of Software Engineering (FOSE), pp. 167\u2013181 (2014)","DOI":"10.1145\/2593882.2593900"},{"issue":"6","key":"17_CR28","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/872726.806987","volume":"17","author":"SL Graham","year":"1982","unstructured":"Graham, S.L., Kessler, P.B., Mckusick, M.K.: Gprof: a call graph execution profiler. ACM Sigplan Not. 17(6), 120\u2013126 (1982)","journal-title":"ACM Sigplan Not."},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Harman, M., O\u2019Hearn, P.: From start-ups to scale-ups: opportunities and open problems for static and dynamic program analysis. In: SCAM (2018)","DOI":"10.1109\/SCAM.2018.00009"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"He, S., Manns, G., Saunders, J., Wang, W., Pollock, L., Soffa, M.L.: A statistics-based performance testing methodology for cloud applications. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 188\u2013199 (2019)","DOI":"10.1145\/3338906.3338912"},{"key":"17_CR31","unstructured":"Holmes, G., Donkin, A., Witten, I.H.: WEKA: a machine learning workbench. In: Proceedings of ANZIIS 1994-Australian New Zealnd Intelligent Information Systems Conference, pp. 357\u2013361. IEEE (1994)"},{"key":"17_CR32","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1613\/jair.301","volume":"4","author":"LP Kaelbling","year":"1996","unstructured":"Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement learning: a survey. J. Artif. Intell. Res. 4, 237\u2013285 (1996)","journal-title":"J. Artif. Intell. Res."},{"issue":"7","key":"17_CR33","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"17_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/11549468_22","volume-title":"Euro-Par 2005 Parallel Processing","author":"M Kluge","year":"2005","unstructured":"Kluge, M., Kn\u00fcpfer, A., Nagel, W.E.: Knowledge based automatic scalability analysis and extrapolation for MPI programs. In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol. 3648, pp. 176\u2013184. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11549468_22"},{"issue":"8","key":"17_CR35","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1016\/j.peva.2009.07.007","volume":"67","author":"H Koziolek","year":"2010","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634\u2013658 (2010)","journal-title":"Perform. Eval."},{"issue":"5","key":"17_CR36","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/301631.301678","volume":"34","author":"JR Larus","year":"1999","unstructured":"Larus, J.R.: Whole program paths. ACM SIGPLAN Not. 34(5), 259\u2013269 (1999)","journal-title":"ACM SIGPLAN Not."},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Luckow, K., Kersten, R., P\u0103s\u0103reanu, C.: Symbolic complexity analysis using context-preserving histories. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 58\u201368. IEEE (2017)","DOI":"10.1109\/ICST.2017.13"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Luckow, K., P\u0103s\u0103reanu, C.S., Dwyer, M.B., Filieri, A., Visser, W.: Exact and approximate probabilistic symbolic execution for nondeterministic programs. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, pp. 575\u2013586 (2014)","DOI":"10.1145\/2642937.2643011"},{"key":"17_CR39","unstructured":"Mazeroff, G., De, V., Jens, C., Michael, G., Thomason, G.: Probabilistic trees and automata for application behavior modeling. In: 41st ACM Southeast Regional Conference Proceedings (2003)"},{"issue":"1","key":"17_CR40","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.patcog.2007.04.006","volume":"41","author":"G Mazeroff","year":"2008","unstructured":"Mazeroff, G., Gregor, J., Thomason, M., Ford, R.: Probabilistic suffix models for API sequence analysis of windows XP applications. Pattern Recogn. 41(1), 90\u2013101 (2008)","journal-title":"Pattern Recogn."},{"issue":"6","key":"17_CR41","doi-asserted-by":"publisher","first-page":"1600","DOI":"10.1109\/TPDS.2013.183","volume":"25","author":"C M\u00f6bius","year":"2014","unstructured":"M\u00f6bius, C., Dargie, W., Schill, A.: Power consumption estimation models for processors, virtual machines, and servers. IEEE Trans. Parallel Distrib. Syst. 25(6), 1600\u20131614 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"6","key":"17_CR42","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. ACM Sigplan Not. 42(6), 89\u2013100 (2007)","journal-title":"ACM Sigplan Not."},{"key":"17_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-40065-5","volume-title":"Numerical Optimization","author":"J Nocedal","year":"2006","unstructured":"Nocedal, J., Wright, S.: Numerical Optimization. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/978-0-387-40065-5"},{"key":"17_CR44","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Rungta, N.: Symbolic pathfinder: symbolic execution of Java bytecode. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 179\u2013180 (2010)","DOI":"10.1145\/1858996.1859035"},{"key":"17_CR45","doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering, pp. 3\u201314 (2014)","DOI":"10.1145\/2568088.2568095"},{"key":"17_CR46","first-page":"331","volume":"2","author":"ML Puterman","year":"1990","unstructured":"Puterman, M.L.: Markov decision processes. Handb. Oper. Res. Manag. Sci. 2, 331\u2013434 (1990)","journal-title":"Handb. Oper. Res. Manag. Sci."},{"issue":"5","key":"17_CR47","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/249069.231433","volume":"31","author":"G Ramalingam","year":"1996","unstructured":"Ramalingam, G.: Data flow frequency analysis. ACM SIGPLAN Not. 31(5), 267\u2013277 (1996)","journal-title":"ACM SIGPLAN Not."},{"key":"17_CR48","unstructured":"Risso, F., Degioanni, L.: An architecture for high performance network analysis. In: Proceedings of the Sixth IEEE Symposium on Computers and Communications, pp. 686\u2013693. IEEE (2001)"},{"issue":"2\u20133","key":"17_CR49","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1026490906255","volume":"25","author":"D Ron","year":"1996","unstructured":"Ron, D., Singer, Y., Tishby, N.: The power of amnesia: learning probabilistic automata with variable memory length. Mach. Learn. 25(2\u20133), 117\u2013149 (1996). \nhttps:\/\/doi.org\/10.1023\/A:1026490906255","journal-title":"Mach. Learn."},{"key":"17_CR50","doi-asserted-by":"crossref","unstructured":"Rosendahl, M.: Automatic complexity analysis. In: Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture, pp. 144\u2013156 (1989)","DOI":"10.1145\/99370.99381"},{"key":"17_CR51","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Chakarov, A., Gulwani, S.: Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 447\u2013458 (2013)","DOI":"10.1145\/2499370.2462179"},{"key":"17_CR52","doi-asserted-by":"crossref","unstructured":"Sarkar, V.: Determining average program execution times and their variance. In: Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation, pp. 298\u2013312 (1989)","DOI":"10.1145\/74818.74845"},{"key":"17_CR53","unstructured":"Schlabach, T.: Insight into event tracing for windows (2019)"},{"key":"17_CR54","unstructured":"Sevitsky, G., De Pauw, W., Konuru, R.: An information exploration tool for performance analysis of Java programs. In: Proceedings Technology of Object-Oriented Languages and Systems, TOOLS 38, pp. 85\u2013101. IEEE (2001)"},{"issue":"2","key":"17_CR55","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1137\/0213021","volume":"13","author":"M Sharir","year":"1984","unstructured":"Sharir, M., Pnueli, A., Hart, S.: Verification of probabilistic programs. SIAM J. Comput. 13(2), 292\u2013314 (1984)","journal-title":"SIAM J. Comput."},{"key":"17_CR56","doi-asserted-by":"publisher","DOI":"10.1515\/9781400832811","volume-title":"Probability, Markov Chains, Queues, and Simulation","author":"WJ Stewart","year":"2009","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, Princeton (2009)"},{"key":"17_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-030-03418-4_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"M Tribastone","year":"2018","unstructured":"Tribastone, M.: Towards software performance by construction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 466\u2013470. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-03418-4_27"},{"key":"17_CR58","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S.: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: Proceedings of the Seventh International Workshop on Software and Performance (WOSP) (2008)","DOI":"10.1145\/1383559.1383569"},{"key":"17_CR59","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S.: Automatic translation of UML sequence diagrams into PEPA models. In: Fifth International Conference on the Quantitative Evaluation of Systems (QEST), pp. 205\u2013214 (2008)","DOI":"10.1109\/QEST.2008.18"},{"key":"17_CR60","doi-asserted-by":"crossref","unstructured":"Wang, W., et al.: Testing cloud applications under cloud-uncertainty performance effects. In: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), pp. 81\u201392. IEEE (2018)","DOI":"10.1109\/ICST.2018.00018"},{"issue":"9","key":"17_CR61","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B Wegbreit","year":"1975","unstructured":"Wegbreit, B.: Mechanical program analysis. Commun. ACM 18(9), 528\u2013539 (1975)","journal-title":"Commun. ACM"},{"key":"17_CR62","doi-asserted-by":"crossref","unstructured":"Wong, S., Cai, Y., Valetto, G., Simeonov, G., Sethi, K.: Design rule hierarchies and parallelism in software development tasks. In: 2009 IEEE\/ACM International Conference on Automated Software Engineering, pp. 197\u2013208. IEEE (2009)","DOI":"10.1109\/ASE.2009.53"},{"key":"17_CR63","doi-asserted-by":"crossref","unstructured":"Woodside, M., Franks, G., Petriu, D.C.: The future of software performance engineering. In: Proceedings of the Future of Software Engineering (FOSE), pp. 171\u2013187 (2007)","DOI":"10.1109\/FOSE.2007.32"},{"key":"17_CR64","doi-asserted-by":"crossref","unstructured":"Woodside, M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: Proceedings of the 5th International Workshop on Software and Performance, pp. 1\u201312. ACM, New York (2005)","DOI":"10.1145\/1071021.1071022"},{"key":"17_CR65","doi-asserted-by":"crossref","unstructured":"Zaparanuks, D., Hauswirth, M.: Algorithmic profiling. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 67\u201376 (2012)","DOI":"10.1145\/2345156.2254074"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61362-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,28]],"date-time":"2020-10-28T13:10:39Z","timestamp":1603890639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61362-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030613617","9783030613624"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61362-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}