{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T21:44:24Z","timestamp":1791927864618,"version":"4.3.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032068460","type":"print"},{"value":"9783032068477","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"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-06847-7_7","type":"book-chapter","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T23:42:23Z","timestamp":1761954143000},"page":"125-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Locating Concurrency Errors in\u00a0Windows.NET Applications by\u00a0Fuzzing over\u00a0Thread Schedules"],"prefix":"10.1007","author":[{"given":"Filip","family":"Kliber","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: Proceedings of POPL 2014. ACM (2014)","DOI":"10.1145\/2535838.2535845"},{"key":"7_CR2","unstructured":"Chen, H., et al.: MUZZ: thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs. In: Proceedings of USENIX Security (2020)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-030-60508-7_16","volume-title":"Runtime Verification","author":"A \u010ci\u017em\u00e1rik","year":"2020","unstructured":"\u010ci\u017em\u00e1rik, A., Par\u00edzek, P.: SharpDetect: dynamic analysis framework for C#\/.NET programs. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) RV 2020. LNCS, vol. 12399, pp. 298\u2013309. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60508-7_16"},{"key":"7_CR4","unstructured":"Deligiannis, P., Senthilnathan, A., Nayyar, F., Lovett, C., Lal, A.: Industrial-strength controlled concurrency testing for C# programs with coyote. In Proceedings of TACAS 2023, LNCS 13994 (2023)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. In: Proceedings of PLDI 2009. ACM (2009)","DOI":"10.1145\/1542476.1542490"},{"key":"7_CR6","unstructured":"Fonseca, P., Rodrigues, R., Brandenburg, B.: SKI: exposing kernel concurrency bugs through systematic schedule exploration. In: Proceedings of OSDI 2014, USENIX (2014)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Software model checking: the VeriSoft approach. Formal Meth. Syst. Des. 26(2) (2005)","DOI":"10.1007\/s10703-005-1489-x"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Fuzzing: hack, art, and science. Commun. ACM 63(2) (2020)","DOI":"10.1145\/3363824"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Jiang, Z.-M., Bai, J.-J., Lu, K., Hu,S.-M.: Context-sensitive and directional concurrency fuzzing for data-race detection. In: Proceedings of NDSS 2022, The Internet Society (2022)","DOI":"10.14722\/ndss.2022.24296"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ko, Y., Zhu, B., Kim, J.: Fuzzing with automatically controlled interleavings to detect concurrency bugs. J. Syst. Software 191 (2022)","DOI":"10.1016\/j.jss.2022.111379"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-70545-1_7","volume-title":"Computer Aided Verification","author":"A Lal","year":"2008","unstructured":"Lal, A., Reps, T.: Reducing concurrent analysis under a context bound to sequential analysis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 37\u201351. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_7"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-02658-4_36","volume-title":"Computer Aided Verification","author":"S La Torre","year":"2009","unstructured":"La Torre, S., Madhusudan, P., Parlato, G.: Reducing context-bounded concurrent reachability to sequential reachability. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 477\u2013492. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_36"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Proceedings of PLDI 2007. ACM (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"7_CR14","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of OSDI 2008, USENIX (2008)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: Proceedings of PLDI 2006. ACM (2006)","DOI":"10.1145\/1133981.1134018"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Naik, M., Park, C.-S., Sen, K., Gay, D.: Effective static deadlock detection. In: Proceedings of ICSE 2009. IEEE CS (2009)","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Park, C.-S., Sen, K.: Randomized active atomicity violation detection in concurrent programs. In: Proceedings of FSE 2008. ACM (2008)","DOI":"10.1145\/1453101.1453121"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R.W., Harrold, M.J.: Falcon: fault localization in concurrent programs. In: Proceedings of ICSE 2010. ACM (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11513988_9","volume-title":"Computer Aided Verification","author":"I Rabinovitz","year":"2005","unstructured":"Rabinovitz, I., Grumberg, O.: Bounded model checking of concurrent programs. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 82\u201397. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_9"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Rungta, N., Mercer, E.: Clash of the titans: tools and techniques for hunting bugs in concurrent programs. In: Proceedings of PADTAD 2009. ACM (2009)","DOI":"10.1145\/1639622.1639631"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Sen, K.: Effective random testing of concurrent programs. In: Proceedings of ASE 2007. ACM (2007)","DOI":"10.1145\/1321631.1321679"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Sen, K.: Race directed random testing of concurrent programs. In: Proceedings of PLDI 2008. ACM (2008)","DOI":"10.1145\/1375581.1375584"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Thomson, P., Donaldson, A.F., Betts, A.: Concurrency testing using controlled schedulers: an empirical study. ACM Trans. Parallel Comput. 2(4) (2016)","DOI":"10.1145\/2858651"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Wolff, D., Shi, Z., Duck, G.J., Mathur, U., Roychoudhury, A.: Greybox fuzzing for concurrency testing. In: Proceedings of ASPLOS 2024. ACM (2024)","DOI":"10.1145\/3620665.3640389"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Yoga, A., Nagarakatte, S., Gupta, A.: Parallel data race detection for task parallel programs with locks. In: Proceedings of FSE 2016. ACM (2016)","DOI":"10.1145\/2950290.2950329"},{"key":"7_CR26","unstructured":"Zeller, A., Gopinath, R., B\u00f6hme, M., Fraser, G., Holler, C.: The Fuzzing Book. CISPA Helmholtz Center for Information Security. https:\/\/www.fuzzingbook.org\/. Accessed Feb 2025"},{"key":"7_CR27","unstructured":".NET Profiling API (library). https:\/\/learn.microsoft.com\/en-us\/dotnet\/framework\/unmanaged-api\/profiling\/. Accessed Feb 2025"},{"key":"7_CR28","unstructured":"SCTBench: A collection of benchmarks. https:\/\/github.com\/mc-imperial\/sctbench. Accessed Feb 2025"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-06847-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T20:44:52Z","timestamp":1791924292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-06847-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,1]]},"ISBN":["9783032068460","9783032068477"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-06847-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,1]]},"assertion":[{"value":"1 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model Checking Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hamilton, ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","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":"7 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spin2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/spin-web.github.io\/SPIN2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}