{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:40:09Z","timestamp":1751816409487,"version":"3.41.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999326"},{"type":"electronic","value":"9783319999333"}],"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-99933-3_11","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T12:33:39Z","timestamp":1535200419000},"page":"153-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Statistical Model Checking of Response Times for Different System Deployments"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[]},{"given":"Severin","family":"Kann","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Schumi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Schumi, R.: Property-based testing with FsCheck by deriving properties from business rule models. In: ICSTW, pp. 219\u2013228. IEEE (2016)","DOI":"10.1109\/ICSTW.2016.24"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Schumi, R.: Towards integrating statistical model checking into property-based testing. In: MEMOCODE, pp. 71\u201376. IEEE (2016)","DOI":"10.1109\/MEMCOD.2016.7797748"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Schumi, R.: Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 1\u201323 (2017). https:\/\/doi.org\/10.1007\/s10270-017-0647-0","DOI":"10.1007\/s10270-017-0647-0"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Schumi, R.: Statistical model checking meets property-based testing. In: ICST, pp. 390\u2013400. IEEE (2017)","DOI":"10.1109\/ICST.2017.42"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Arts, T.: On shrinking randomly generated load tests. In: Erlang 2014, pp. 25\u201331. ACM (2014)","DOI":"10.1145\/2633448.2633452"},{"key":"11_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-40196-1_30","volume-title":"QEST 2013","author":"P Ballarini","year":"2013","unstructured":"Ballarini, P., Bertrand, N., Horv\u00e1th, A., Paolieri, M., Vicario, E.: Transient analysis of networks of stochastic timed automata using stochastic state classes. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 355\u2013371. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_30"},{"issue":"1\u20132","key":"11_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1019292504731","volume":"2","author":"G Banga","year":"1999","unstructured":"Banga, G., Druschel, P.: Measuring the capacity of a web server under realistic loads. World Wide Web 2(1\u20132), 69\u201383 (1999)","journal-title":"World Wide Web"},{"issue":"1","key":"11_CR10","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.H.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"key":"11_CR11","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-0-387-35520-7_17","volume-title":"Formal Methods for Open Object-Based Distributed Systems IV","author":"L Blair","year":"2000","unstructured":"Blair, L., Jones, T., Blair, G.: Stochastically enhanced timed automata. In: Smith, S.F., Talcott, C.L. (eds.) FMOODS 2000. IAICT, vol. 49, pp. 327\u2013347. Springer, Boston, MA (2000). https:\/\/doi.org\/10.1007\/978-0-387-35520-7_17"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Book, M., Gruhn, V., H\u00fclder, M., K\u00f6hler, A., Kriegel, A.: Cost and response time simulation for web-based applications on mobile channels. In: QSIC, pp. 83\u201390. IEEE (2005)","DOI":"10.1109\/QSIC.2005.21"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Bulychev, P.E., et al.: UPPAAL-SMC: statistical model checking for priced timed automata. In: QAPL. EPTCS, vol. 85, pp. 1\u201316. Open Publishing Association (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Chen, X., Mohapatra, P., Chen, H.: An admission control scheme for predictable server response time for web accesses. In: WWW, pp. 545\u2013554. ACM (2001)","DOI":"10.1145\/371920.372156"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP, pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/351240.351266"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Claessen, K., et al.: Finding race conditions in Erlang with QuickCheck and PULSE. In: ICFP, pp. 149\u2013160. ACM (2009)","DOI":"10.1145\/1596550.1596574"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Draheim, D., Grundy, J.C., Hosking, J.G., Lutteroth, C., Weber, G.: Realistic load testing of web applications. In: CSMR, pp. 57\u201370. IEEE (2006)","DOI":"10.1109\/CSMR.2006.43"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Govindarajulu, Z.: Sequential Statistics. World Scientific (2004)","DOI":"10.1142\/5575"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"301","key":"11_CR20","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58(301), 13\u201330 (1963)","journal-title":"J. Am. Stat. Assoc."},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69611-7_1","volume-title":"Practical Aspects of Declarative Languages","author":"J Hughes","year":"2006","unstructured":"Hughes, J.: QuickCheck testing for fun and profit. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 1\u201332. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/978-3-540-69611-7_1"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Hughes, J., Pierce, B.C., Arts, T., Norell, U.: Mysteries of Dropbox: property-based testing of a distributed synchronization service. In: ICST, pp. 135\u2013145. IEEE (2016)","DOI":"10.1109\/ICST.2016.37"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Kalaji, A.S., Hierons, R.M., Swift, S.: Generating feasible transition paths for testing from an extended finite state machine. In: ICST, pp. 230\u2013239. IEEE (2009)","DOI":"10.1109\/ICST.2009.29"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-44618-4_11","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"M Kwiatkowska","year":"2000","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic timed automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 123\u2013137. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44618-4_11"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Legay, A., Sedwards, S.: On statistical model checking with PLASMA. In: TASE, pp. 139\u2013145. IEEE (2014)","DOI":"10.1109\/TASE.2014.20"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Lu, Y., Nolte, T., Bate, I., Cucu-Grosjean, L.: A statistical response-time analysis of real-time embedded systems. In: RTSS, pp. 351\u2013362. IEEE (2012)","DOI":"10.1109\/RTSS.2012.85"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1016\/j.procs.2014.08.036","volume":"37","author":"H Malik","year":"2014","unstructured":"Malik, H., Shakshuki, E.M.: Classification of post-deployment performance diagnostic techniques for large-scale software systems. Procedia Comput. Sci. 37, 244\u2013251 (2014)","journal-title":"Procedia Comput. Sci."},{"issue":"4","key":"11_CR29","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/MIC.2002.1020328","volume":"6","author":"DA Menasc\u00e9","year":"2002","unstructured":"Menasc\u00e9, D.A.: Load testing of web sites. IEEE Internet Comput. 6(4), 70\u201374 (2002)","journal-title":"IEEE Internet Comput."},{"key":"11_CR30","unstructured":"Nilsson, R.: ScalaCheck: The Definitive Guide. IT Pro, Artima Incorporated (2014)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Norell, U., Svensson, H., Arts, T.: Testing blocking operations with QuickCheck\u2019s component library. In: Erlang 2013, pp. 87\u201392. ACM (2013)","DOI":"10.1145\/2505305.2505310"},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s11227-014-1317-4","volume":"71","author":"H Nourikhah","year":"2015","unstructured":"Nourikhah, H., Akbari, M.K., Kalantari, M.: Modeling and predicting measured response time of cloud-based web services using long-memory time series. J. Supercomput. 71(2), 673\u2013696 (2015)","journal-title":"J. Supercomput."},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: Erlang 2011, pp. 39\u201350. ACM (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"11_CR34","doi-asserted-by":"publisher","DOI":"10.1002\/9781118391686","volume-title":"Methods of Multivariate Analysis","author":"A Rencher","year":"2012","unstructured":"Rencher, A., Christensen, W.: Methods of Multivariate Analysis. Wiley, Hoboken (2012)"},{"key":"11_CR35","unstructured":"Rina, S.T.: A comparative study of performance testing tools. Int. J. Adv. Res. Comp. Sci. Softw. Eng. IJARCSSE 3(5), 1300\u20131307 (2013)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Roloff, E., Diener, M., Carissimi, A., Navaux, P.O.A.: High performance computing in the cloud: Deployment, performance and cost efficiency. In: CloudCom, pp. 371\u2013378. IEEE Computer Society (2012)","DOI":"10.1109\/CloudCom.2012.6427549"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-319-67549-7_18","volume-title":"Testing Software and Systems","author":"R Schumi","year":"2017","unstructured":"Schumi, R., Lang, P., Aichernig, B.K., Krenn, W., Schlick, R.: Checking response-time properties of web-service applications under stochastic user profiles. In: Yevtushenko, N., Cavalli, A.R., Yenig\u00fcn, H. (eds.) ICTSS 2017. LNCS, vol. 10533, pp. 293\u2013310. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67549-7_18"},{"key":"11_CR38","unstructured":"Wald, A.: Sequential Analysis. Courier Corporation (1973)"},{"issue":"1","key":"11_CR39","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/comjnl\/bxw055","volume":"60","author":"J Yu","year":"2017","unstructured":"Yu, J., Han, J., Schneider, J., Hine, C.M., Versteeg, S.: A Petri-Net-based virtual deployment testing environment for enterprise software systems. Comput. J. 60(1), 27\u201344 (2017)","journal-title":"Comput. J."},{"key":"11_CR40","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.entcs.2013.09.001","volume":"296","author":"F Zhang","year":"2013","unstructured":"Zhang, F., et al.: Modeling and evaluation of wireless sensor network protocols by stochastic timed automata. Electr. Notes Theor. Comput. Sci. 296, 261\u2013277 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99933-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:19:41Z","timestamp":1751815181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99933-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999326","9783319999333"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99933-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}