{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:10:06Z","timestamp":1748815806483,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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":[[2016]]},"DOI":"10.1007\/978-3-662-49665-7_15","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"251-268","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Model-Based Testing of Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Marcus","family":"Gerhold","sequence":"first","affiliation":[]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"15_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MWC.2004.1368893","volume":"11","author":"JN Al-Karaki","year":"2004","unstructured":"Al-Karaki, J.N., Kamal, A.E.: Routing techniques in wireless sensor networks: a survey. IEEE Wireless Commun. 11(6), 6\u201328 (2004)","journal-title":"IEEE Wireless Commun."},{"issue":"4","key":"15_CR2","doi-asserted-by":"crossref","first-page":"2025","DOI":"10.1093\/genetics\/162.4.2025","volume":"162","author":"MA Beaumont","year":"2002","unstructured":"Beaumont, M.A., Zhang, W., Balding, D.J.: Approximate bayesian computation in population genetics. Genetics 162(4), 2025\u20132035 (2002)","journal-title":"Genetics"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Belinfante","year":"2010","unstructured":"Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266\u2013270. Springer, Heidelberg (2010)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/11495628_9","volume-title":"Scenarios: Models, Transformations and Tools","author":"M Beyer","year":"2005","unstructured":"Beyer, M., Dulz, W.: Scenario-based statistical testing of quality of service requirements. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 152\u2013173. Springer, Heidelberg (2005)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"HC Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H.C., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 173\u2013188. Springer, Heidelberg (2005)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6hr, F.: Model based statistical testing of embedded systems. In: IEEE 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 18\u201325 (2011)","DOI":"10.1109\/ICSTW.2011.11"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bozga, M., David, A., Hartmanns, A., Hermanns, H., Larsen, K.G., Legay, A., Tretmans, J.: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. In: DATE, pp. 370\u2013375 (2012)","DOI":"10.1109\/DATE.2012.6176499"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"Laura Brand\u00e1n Briones","year":"2005","unstructured":"Briones, Laura Brand\u00e1n, Brinksma, Ed: A test generation framework for quiescent real-time systems. In: Grabowski, Jens, Nielsen, Brian (eds.) FATES 2004. LNCS, vol. 3395, pp. 64\u201378. Springer, Heidelberg (2005)"},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1314690.1314693","volume":"54","author":"L Cheung","year":"2007","unstructured":"Cheung, L., Stoelinga, M., Vaandrager, F.: A testing scenario for probabilistic automata. J. ACM 54(6), 45 (2007). Article No. 29","journal-title":"J. ACM"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-10366-7_17","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2009","author":"SG Choi","year":"2009","unstructured":"Choi, S.G., Dachman-Soled, D., Malkin, T., Wee, H.: Improved non-committing encryption with applications to adaptively secure protocols. In: Matsui, M. (ed.) ASIACRYPT 2009. LNCS, vol. 5912, pp. 287\u2013302. Springer, Heidelberg (2009)"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing preorders for probabilistic processes. Inform. Comput. 154(2), 93\u2013148 (1999)","journal-title":"Inform. Comput."},{"key":"15_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0399-0","volume-title":"Measure Theory","author":"DL Cohn","year":"1980","unstructured":"Cohn, D.L.: Measure Theory. Birkh\u00e4user, Boston (1980)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Deng, Y., Hennessy, M., van Glabbeek, R.J., Morgan, C.: Characterising Testing Preorders for Finite Probabilistic Processes. CoRR (2008)","DOI":"10.2168\/LMCS-4(4:4)2008"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4204\/EPTCS.180.2","volume":"180","author":"Marcus Gerhold","year":"2015","unstructured":"Gerhold, M., Stoelinga, M.: Ioco Theory for Probabilistic Automata. In: Proceedings of the Tenth Workshop on MBT, pp. 23\u201340 (2015)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B., Tofts, C.: Reactive, Generative, and Stratified Models of Probabilistic Processes, pp. 130\u2013141. IEEE Computer Society Press (1990)","DOI":"10.1109\/LICS.1990.113740"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-13464-7_6","volume-title":"Formal Techniques for Distributed Systems","author":"RM Hierons","year":"2010","unstructured":"Hierons, R.M., N\u00fa\u00f1ez, M.: Testing probabilistic distributed systems. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010, Part II. LNCS, vol. 6117, pp. 63\u201377. Springer, Heidelberg (2010)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1016\/j.jss.2009.06.030","volume":"82","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82, 1804\u20131818 (2009)","journal-title":"J. Syst. Softw."},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1016\/j.comnet.2009.10.014","volume":"54","author":"I Hwang","year":"2010","unstructured":"Hwang, I., Cavalli, A.R.: Testing a probabilistic FSM using interval estimation. Comput. Netw. 54, 1108\u20131125 (2010)","journal-title":"Comput. Netw."},{"key":"15_CR19","unstructured":"Jeannet, B., D\u2019Argenio, P.R., Larsen, K.G.: Rapture: a tool for verifying markov decision processes. In: Tools Day (2002)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation Through Probabilistic Testing, pp. 344\u2013352. ACM Press (1989)","DOI":"10.1145\/75277.75307"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"15_CR23","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1994","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1994)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-10373-5_10","volume-title":"Formal Methods and Software Engineering","author":"MG Merayo","year":"2009","unstructured":"Merayo, M.G., Hwang, I., N\u00fa\u00f1ez, M., Cavalli, A.: A statistical approach to test stochastic and probabilistic systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 186\u2013205. Springer, Heidelberg (2009)"},{"issue":"4","key":"15_CR25","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/s10898-006-9119-8","volume":"40","author":"J Nie","year":"2008","unstructured":"Nie, J., Demmel, J., Gu, M.: Global minimization of rational functions and the nearest GCDs. J. Global Optim. 40(4), 697\u2013718 (2008)","journal-title":"J. Global Optim."},{"key":"15_CR26","unstructured":"Paige, B., Wood, F.: A Compilation Target for Probabilistic Programming Languages. CoRR arXiv:1403.0504 (2014)"},{"key":"15_CR27","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/978-3-319-06862-6_23","volume-title":"Agile Processes in Software Engineering and Extreme Programming","author":"H Peters","year":"2014","unstructured":"Peters, H., Knieke, C., Brox, O., Jauns-Seyfried, S., Kr\u00e4mer, M., Schulze, A.: A test-driven approach for model-based development of powertrain functions. In: Cantone, G., Marchesi, M. (eds.) XP 2014. LNBIP, vol. 179, pp. 294\u2013301. Springer, Heidelberg (2014)"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-21295-6_2","volume-title":"Inductive Logic Programming","author":"A Pfeffer","year":"2011","unstructured":"Pfeffer, A.: Practical probabilistic programming. In: Frasconi, P., Lisi, F.A. (eds.) ILP 2010. LNCS, vol. 6489, pp. 2\u20133. Springer, Heidelberg (2011)"},{"key":"15_CR29","unstructured":"Prowell, S.J.: Computations for Markov Chain Usage Models. Technical Report (2003)"},{"key":"15_CR30","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"2014","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (2014)"},{"key":"15_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Stochastic Model Checking","year":"2014","unstructured":"Remke, A., Stoelinga, M. (eds.): Stochastic Model Checking. LNCS, vol. 8453. Springer, Heidelberg (2014)"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Russell, N., Moore, R.: Explicit modelling of state occupancy in hidden markov models for automatic speech recognition. In: Acoustics, Speech, and Signal Processing, IEEE International Conference on ICASSP 1985, vol. 10, pp. 5\u20138 (1985)","DOI":"10.1109\/ICASSP.1985.1168477"},{"key":"15_CR33","unstructured":"Segala, R.: Modeling and verification of randomized distributed real-time systems. Ph.D. thesis, Cambridge, MA, USA (1995)"},{"key":"15_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-61604-7_62","volume-title":"CONCUR \u201996: Concurrency Theory","author":"R Segala","year":"1996","unstructured":"Segala, R.: Testing Probabilistic Automata. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 299\u2013314. Springer, Heidelberg (1996)"},{"key":"15_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004)"},{"key":"15_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"15_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-48778-6_4","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"M Stoelinga","year":"1999","unstructured":"Stoelinga, M., Vaandrager, F.W.: Root contention in IEEE 1394. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol. 1601, pp. 53\u201374. Springer, Heidelberg (1999)"},{"key":"15_CR38","unstructured":"Stoelinga, M.: Alea jacta est: verification of probabilistic, real-time and parametric systems. Ph.D. thesis, Radboud University of Nijmegen (2002)"},{"key":"15_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-38916-0_13","volume-title":"Tests and Proofs","author":"WGJ Stokkink","year":"2013","unstructured":"Stokkink, W.G.J., Timmer, M., Stoelinga, M.I.A.: Divergent quiescent transition systems. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 214\u2013231. Springer, Heidelberg (2013)"},{"issue":"3","key":"15_CR40","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"15_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"issue":"1","key":"15_CR42","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380250106","volume":"25","author":"GH Walton","year":"1995","unstructured":"Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical Testing of Software Based on a Usage Model. Softw. Pract. Exper. 25(1), 97\u2013108 (1995)","journal-title":"Softw. Pract. Exper."},{"issue":"10","key":"15_CR43","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"JA Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812\u2013824 (1994)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:29:23Z","timestamp":1748813363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}