{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:08:27Z","timestamp":1784232507953,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642223051","type":"print"},{"value":"9783642223068","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22306-8_14","type":"book-chapter","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T07:25:05Z","timestamp":1309764305000},"page":"188-193","source":"Crossref","is-referenced-by-count":8,"title":["dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"\u0160im\u0161a","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Randy","family":"Bryant","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Garth","family":"Gibson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1047659.1040315","volume":"40","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. SIGPLAN Not.\u00a040(1), 110\u2013121 (2005)","journal-title":"SIGPLAN Not."},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_52","volume-title":"Computer Aided Verification","author":"P. Godefroid","year":"1997","unstructured":"Godefroid, P.: VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, Springer, Heidelberg (1997)"},{"key":"14_CR3","unstructured":"Austin JointWorking Group. IEEE Standard for Information Technology- Portable Operating System Interface (POSIX) Base Speci cations. In: IEEE Std 1003.1-2008 (Revision of IEEE Std 1003.1-2004), vol.\u00a0(7), pp. 1\u20133826 ( December 2008)"},{"key":"14_CR4","unstructured":"Killian, C.E., Anderson, J.W., Jhala, R., Vahdat, A.: Life, death, and the critical transition: Finding liveness bugs in systems code. In: NSDI 2007: Proceedings of the 5th Conference on USENIX Symposium on Networked Systems Design and Implementation (2007)"},{"key":"14_CR5","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI 2008: Proceedings of the 8th Conference on USENIX Symposium on Operating Systems Design and Implementation, pp. 267\u201328 (2008)"},{"issue":"4","key":"14_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"14_CR7","first-page":"285","volume-title":"Proceedings of PPoPP 2008","author":"S.S. Vakkalanka","year":"2008","unstructured":"Vakkalanka, S.S., Sharma, S., Gopalakrishnan, G., Kirby, R.M.: ISP: a tool for model checking MPI programs. In: Proceedings of PPoPP 2008, pp. 285\u2013286. ACM, New York (2008)"},{"key":"14_CR8","unstructured":"\u0160im\u0161a, J.: dBug Project, \n                    \n                      http:\/\/www.cs.cmu.edu\/~jsimsa\/dbug"},{"key":"14_CR9","unstructured":"\u0160im\u0161a, J., Gibson, G., Bryant, R.: dBug: Systematic Evaluation of Distributed Systems. In: SSV 2010: Proceedings of 5th International Workshop on System Software Verification (2010)"},{"key":"14_CR10","unstructured":"Yang, J., Chen, T., Wu, M., Xu, Z., Liu, X., Lin, H., Yang, M., Long, F., Zhang, L., Zhou, L.: MoDist: Transparent Model Checking of Unmodi ed Distributed Systems. In: NSDI 2009: Proceedings of the Sixth Symposium on Networked Systems Design and Implementation, pp. 213\u2013228 (April 2009)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22306-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T18:40:39Z","timestamp":1553884839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22306-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223051","9783642223068"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22306-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}