{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T10:14:05Z","timestamp":1789985645896,"version":"4.0.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,4,6]],"date-time":"2010-04-06T00:00:00Z","timestamp":1270512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1007\/s10009-010-0144-z","type":"journal-article","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T14:45:49Z","timestamp":1270478749000},"page":"113-122","source":"Crossref","is-referenced-by-count":3,"title":["Distributed dynamic partial order reduction"],"prefix":"10.1007","volume":"12","author":[{"given":"Yu","family":"Yang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaofang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,4,6]]},"reference":[{"key":"144_CR1","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model Checking for Programming Languages using Verisoft. In: POPL, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"144_CR2","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"144_CR3","doi-asserted-by":"crossref","unstructured":"Robby, E.R., Dwyer, M.B., Hatcliff, J.: Bogor: an extensible and highly-modular software model checking framework. In: ESEC\/SIGSOFT FSE, pp. 267\u2013276 (2003)","DOI":"10.1145\/940071.940107"},{"key":"144_CR4","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R.: Race checking by context inference. In: PLDI \u201904: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, pp. 1\u201313. ACM Press, New York, NY, USA (2004)","DOI":"10.1145\/996841.996844"},{"key":"144_CR5","doi-asserted-by":"crossref","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. In: Computer Aided Verification, 16th International Conference. Lecture Notes in Computer Science, vol. 3114, pp. 484\u2013487. Springer (2004)","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"144_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 110\u2013121. ACM (2005)","DOI":"10.1145\/1040305.1040315"},{"key":"144_CR7","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Ferrante, J., McKinley, K.S. (eds.) PLDI, pp. 446\u2013455. ACM (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"144_CR8","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Springer (1996)","DOI":"10.1007\/3-540-60761-7"},{"key":"144_CR9","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G.: UUCS-08-004: Inspect: A Runtime Model Checker for Multithreaded C Programs. Technical report (2008)"},{"key":"144_CR10","volume-title":"MPI-The Complete Reference: The MPI Core","author":"M. Snir","year":"1998","unstructured":"Snir M., Otto S.: MPI-The Complete Reference: The MPI Core. MIT Press, Cambridge (1998)"},{"key":"144_CR11","unstructured":"http:\/\/www.mpiforum.org\/docs\/docs.html"},{"key":"144_CR12","unstructured":"http:\/\/www.lammpi.org\/"},{"key":"144_CR13","unstructured":"http:\/\/www.enderunix.org\/aget\/"},{"key":"144_CR14","unstructured":"Stern, U., Dill, D.L.: Parallelizing the Murhi Verifier. In: Grumberg, O. (ed.) Computer Aided Verification, 9th International Conference, CAV \u201997, Haifa, Israel, June 22\u201325, 1997, Proceedings. Lecture Notes in Computer Science, vol. 1254, pp. 256\u2013278. Springer (1997)"},{"key":"144_CR15","doi-asserted-by":"crossref","unstructured":"Melatti, I., Palmer, R., Sawaya, G., Yang, Y., Kirby, R.M., Gopalakrishnan, G.: Parallel and distributed model checking in Eddy. In: SPIN, pp. 108\u2013125(2006)","DOI":"10.1007\/11691617_7"},{"key":"144_CR16","doi-asserted-by":"crossref","unstructured":"Sivaraj, H., Gopalakrishnan, G.: Random walk based heuristic algorithms for distributed memory model checking. Electr. Notes Theor. Comput. Sci. 89(1) (2003)","DOI":"10.1016\/S1571-0661(05)80096-9"},{"issue":"3","key":"144_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2004.10.016","volume":"128","author":"R. Kumar","year":"2005","unstructured":"Kumar R., Mercer E.G.: Load balancing parallel explicit state model checking. Electr. Notes Theor. Comput. Sci. 128(3), 19\u201334 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"144_CR18","doi-asserted-by":"crossref","unstructured":"Holzmann, G., Bosnacki, D.: Multi-core model checking with Spin (2007)","DOI":"10.1109\/IPDPS.2007.370410"},{"key":"144_CR19","unstructured":"Brim, L., Cerna, I., Moravec, P., Simsa, J.: Distributed partial order reduction of state spaces. In: PDMC, vol. 1 (2004)"},{"key":"144_CR20","unstructured":"Palmer, R., Gopalakrishnan, G.: Partial order reduction assisted parallel model checking. In: PDMC (2002)"},{"key":"144_CR21","doi-asserted-by":"crossref","unstructured":"Palmer, R., Gopalakrishnan, G.: A distributed partial order reduction algorithm. In: FORTE \u201902: Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems, pp. 370. Springer, London, UK (2002)","DOI":"10.1007\/3-540-36135-9_26"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0144-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0144-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0144-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T03:25:26Z","timestamp":1559100326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0144-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["144"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0144-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,6]]}}}