{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:09:50Z","timestamp":1770908990796,"version":"3.50.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032104434","type":"print"},{"value":"9783032104441","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T00:00:00Z","timestamp":1762905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T00:00:00Z","timestamp":1762905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10444-1_6","type":"book-chapter","created":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T06:58:50Z","timestamp":1762844330000},"page":"91-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ProbTest: Unit Testing for\u00a0Probabilistic Programs"],"prefix":"10.1007","author":[{"given":"Katrine","family":"Christensen","sequence":"first","affiliation":[]},{"given":"Mahsa","family":"Varshosaz","sequence":"additional","affiliation":[]},{"given":"Ra\u00fal","family":"Pardo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,12]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.C.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: ICSE 2011, pp. 1\u201310. ACM (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.C.: Formal analysis of the effectiveness and predictability of random testing. In: ISSTA 2010, pp. 219\u2013230. ACM (2010)","DOI":"10.1145\/1831708.1831736"},{"key":"6_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"6_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781108770750","volume-title":"Foundations of Probabilistic Programming","author":"G Barthe","year":"2020","unstructured":"Barthe, G., Katoen, J.-P., Silva, A.: Foundations of Probabilistic Programming. Cambridge University Press, Cambridge (2020)"},{"issue":"5","key":"6_CR5","first-page":"679","volume":"6","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: A Markovian decision process. J. Math. Mech. 6(5), 679\u2013684 (1957)","journal-title":"J. Math. Mech."},{"key":"6_CR6","first-page":"28:1","volume":"20","author":"E Bingham","year":"2019","unstructured":"Bingham, E., et al.: Pyro: deep universal probabilistic programming. J. Mach. Learn. Res. 20, 28:1-28:6 (2019)","journal-title":"J. Mach. Learn. Res."},{"key":"6_CR7","volume-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)","author":"CM Bishop","year":"2006","unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning (Information Science and Statistics). Springer, Verlag (2006)"},{"key":"6_CR8","doi-asserted-by":"publisher","DOI":"10.1201\/b10905","volume-title":"Handbook of Markov Chain Monte Carlo","author":"S Brooks","year":"2011","unstructured":"Brooks, S., Gelman, A., Jones, G., Meng, X.L.: Handbook of Markov Chain Monte Carlo. CRC Press, New York (2011)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Sound statistical model checking for probabilities and expected rewards. In: TACAS 2025. LNCS, vol. 15696, pp. 167\u2013190. Springer (2025)","DOI":"10.1007\/978-3-031-90643-5_9"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Carpenter, B., et al.: Stan: a probabilistic programming language. J. Stat. Softw. 76(1) (2017)","DOI":"10.18637\/jss.v076.i01"},{"key":"6_CR11","unstructured":"Christensen, K., Varshosaz, M., Pardo, R.: ProbTest accompanying artifact (2025). https:\/\/github.com\/itu-square\/probtest-pytest"},{"key":"6_CR12","first-page":"574","volume":"2018","author":"S Dutta","year":"2018","unstructured":"Dutta, S., Legunsen, O., Huang, Z., Misailovic, S.: Testing probabilistic programming systems. FSE 2018, 574\u2013586 (2018)","journal-title":"FSE"},{"key":"6_CR13","unstructured":"Krekel, H., et\u00a0al.: PyTest. https:\/\/docs.pytest.org\/"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Gehr, T., Misailovic, S., Vechev, M.T.: PSI: exact symbolic inference for probabilistic programs. In: CAV\u201916. LNCS, vol. 9779, pp. 62\u201383 (2016)","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"De Gregorio, D.,\u00a0Di Stefano, L.: Skimap: an efficient mapping framework for robot navigation. In: ICRA 2017, pp. 2569\u20132576. IEEE (2017)","DOI":"10.1109\/ICRA.2017.7989299"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Guderlei, R., Mayer, J.: Statistical metamorphic testing testing programs with random output by means of statistical hypothesis tests and metamorphic testing. In: QSIC 2007, pp. 404\u2013409. IEEE (2007)","DOI":"10.1109\/QSIC.2007.4385527"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Guderlei, R., Mayer, J., Schneckenburger, C., Fleischer, F.: Testing randomized software by means of statistical hypothesis tests. In: SOQUA@FSE 2007, pp. 46\u201354. ACM (2007)","DOI":"10.1145\/1295074.1295084"},{"key":"6_CR18","volume-title":"Measure Theory","author":"E Hansen","year":"2009","unstructured":"Hansen, E.: Measure Theory, 4th edn. University of Copenhagen, Department of Mathematical Sciences (2009)","edition":"4"},{"issue":"5","key":"6_CR19","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Hauer, F., Schmidt, T., Holzm\u00fcller, B., Pretschner, A.: Did we test all scenarios for automated and autonomous driving systems? In: ITSC 2019, pp. 2950\u20132955. IEEE (2019)","DOI":"10.1109\/ITSC.2019.8917326"},{"issue":"4","key":"6_CR21","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.-P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: International Conference on Runtime Verification, pp. 122\u2013135. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"6_CR24","doi-asserted-by":"publisher","DOI":"10.1201\/9780429029608","volume-title":"Statistical Rethinking: A Bayesian Course with Examples in R and Stan","author":"R McElreath","year":"2020","unstructured":"McElreath, R.: Statistical Rethinking: A Bayesian Course with Examples in R and Stan, 2nd edn. CRC Press, UK (2020)","edition":"2"},{"key":"6_CR25","unstructured":"Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: What are the odds? Improving the foundations of statistical model checking (2025)"},{"key":"6_CR26","unstructured":"Morgan, C., McIver, A.: pGCL: formal reasoning for random algorithms. South African Comput. J., 14\u201327 (1999)"},{"key":"6_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814075","volume-title":"Randomized Algorithms","author":"R Motwani","year":"1995","unstructured":"Motwani, R., Raghaven, P.: Randomized Algorithms. Cambridge University Press, Cambridge (1995)"},{"key":"6_CR28","volume-title":"Probabilistic Machine Learning: Advanced Topics","author":"KP Murphy","year":"2023","unstructured":"Murphy, K.P.: Probabilistic Machine Learning: Advanced Topics. MIT Press, Cambridge (2023)"},{"issue":"3","key":"6_CR29","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1239\/jap\/1222441818","volume":"45","author":"P Neal","year":"2008","unstructured":"Neal, P.: The generalised coupon collector problem. J. Appl. Probab. 45(3), 621\u2013629 (2008)","journal-title":"J. Appl. Probab."},{"key":"6_CR30","volume-title":"Introduction to Statistics and Data Analysis","author":"R Peck","year":"2008","unstructured":"Peck, R., Olsen, C., Devore, J.: Introduction to Statistics and Data Analysis, 3rd edn. Thomson Brooks\/Cole, UK (2008)","edition":"3"},{"key":"6_CR31","unstructured":"Di Pierro, A., Wiklicky, H.: On probabilistic CCP. In: APPIA-GULP-PRODE, pp. 225\u2013234 (1997)"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"e1516","DOI":"10.7717\/peerj-cs.1516","volume":"9","author":"O Abril Pla","year":"2023","unstructured":"Abril Pla, O., et al.: PyMc: a modern, and comprehensive probabilistic programming framework in Python. PeerJ Comput. Sci. 9, e1516 (2023)","journal-title":"PeerJ Comput. Sci."},{"issue":"2","key":"6_CR33","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s10270-020-00848-9","volume":"20","author":"ISWB Prasetya","year":"2021","unstructured":"Prasetya, I.S.W.B., Klomp, R.: Test model coverage analysis under uncertainty: extended version. Softw. Syst. Model. 20(2), 383\u2013403 (2021)","journal-title":"Softw. Syst. Model."},{"key":"6_CR34","unstructured":"Prout, A.: The story behind Singlestore\u2019s skiplist indexes. Singlestore Blog (2014). https:\/\/www.singlestore.com\/blog\/what-is-skiplist-why-skiplist-index-for-memsql\/"},{"issue":"1","key":"6_CR35","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.cam.2005.12.011","volume":"200","author":"S Shioda","year":"2007","unstructured":"Shioda, S.: Some upper and lower bounds on the coupon collector problem. J. Comput. Appl. Math. 200(1), 154\u2013167 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"6_CR36","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"1998","unstructured":"Sutton, R.S., Barto, A.G., et al.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)"},{"key":"6_CR37","unstructured":"Towers, M., et al.:Gymnasium: a standard interface for reinforcement learning environments (2024)"},{"issue":"ICFP","key":"6_CR38","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/3607835","volume":"7","author":"M Varshosaz","year":"2023","unstructured":"Varshosaz, M., Ghaffari, M., Johnsen, E.B., W\u0105sowski, A.: Formal specification and testing for reinforcement learning. Proc. ACM Program. Lang. 7(ICFP), 125\u2013158 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"6_CR39","first-page":"279","volume":"8","author":"CJCH Watkins","year":"1992","unstructured":"Watkins, C.J.C.H., Dayan, P.: Q-learning. Mach. Learn. 8, 279\u2013292 (1992)","journal-title":"Mach. Learn."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10444-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T14:06:59Z","timestamp":1770905219000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10444-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,12]]},"ISBN":["9783032104434","9783032104441"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10444-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,12]]},"assertion":[{"value":"12 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toledo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}