{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T01:10:11Z","timestamp":1773277811188,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120282","type":"print"},{"value":"9783642120299","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_22","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T19:56:48Z","timestamp":1267991808000},"page":"308-322","source":"Crossref","is-referenced-by-count":37,"title":["Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques"],"prefix":"10.1007","author":[{"given":"Steven","family":"Lauterburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh K.","family":"Karmani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201372 (1997)","journal-title":"Journal of Functional Programming"},{"key":"22_CR3","first-page":"177","volume-title":"21st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2006","author":"C. Artho","year":"2006","unstructured":"Artho, C., Garoche, P.L.: Accurate centralization for applying model checking on networked applications. In: 21st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2006, pp. 177\u2013188. IEEE Comp. Society, Los Alamitos (2006)"},{"key":"22_CR4","unstructured":"Arts, T., Earle, C.B.: Development of a verified Erlang program for resource locking. In: Formal Methods in Industrial Critical Systems (2001)"},{"key":"22_CR5","first-page":"24","volume-title":"22nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2007","author":"E. Barlas","year":"2007","unstructured":"Barlas, E., Bultan, T.: NetStub: A framework for verification of distributed Java applications. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2007, pp. 24\u201333. ACM, New York (2007)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Distributed computation on graphs: Shortest path algorithms. Comm. ACM (1982)","DOI":"10.1145\/358690.358717"},{"key":"22_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1181775.1181787","volume-title":"Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006","author":"M.B. Dwyer","year":"2006","unstructured":"Dwyer, M.B., Person, S., Elbaum, S.G.: Controlling factors in evaluating path-sensitive error detection techniques. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, pp. 92\u2013104. ACM, New York (2006)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Fidge, C.J.: Partial orders for parallel debugging. In: Workshop on Parallel and Distributed Debugging, pp. 183\u2013194 (1988)","DOI":"10.1145\/68210.69233"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1040305.1040315","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, pp. 110\u2013121. ACM, New York (2005)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Fredlund, L.\u00c5., Svensson, H.: McErlang: A model checker for a distributed functional programming language. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP), pp. 125\u2013136 (2007)","DOI":"10.1145\/1291220.1291171"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","year":"1996","unstructured":"Godefroid, P. (ed.): Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Khamespanah, E., Movaghar, A.: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica (2009)","DOI":"10.1007\/s00236-009-0111-x"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-02658-4_31","volume-title":"Computer Aided Verification","author":"V. Kahlon","year":"2009","unstructured":"Kahlon, V., Wang, C., Gupta, A.: Monotonic partial order reduction: An optimal symbolic partial order reduction technique. In: Bouajjani, A., Maler, O. (eds.) Computer Aided Verification. LNCS, vol.\u00a05643, pp. 398\u2013413. Springer, Heidelberg (2009)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: A comparative analysis. In: Proceedings of the 7th International Conference on the Principles and Practice of Programming in Java (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"22_CR16","volume-title":"24th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009","author":"S. Lauterburg","year":"2009","unstructured":"Lauterburg, S., Dotta, M., Marinov, D., Agha, G.: A framework for state-space exploration of Java-based actor programs. In: 24th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009. IEEE, Los Alamitos (2009)"},{"key":"22_CR17","unstructured":"Pi original source code webpage, http:\/\/www-unix.mcs.anl.gov\/mpi\/usingmpi\/examples\/simplempi\/main.htm"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11693017_25","volume-title":"Fundamental Approaches to Software Engineering","author":"K. Sen","year":"2006","unstructured":"Sen, K., Agha, G.: Automated systematic testing of open distributed programs. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 339\u2013356. Springer, Heidelberg (2006)"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-70545-1_9","volume-title":"Computer Aided Verification","author":"S.S. Vakkalanka","year":"2008","unstructured":"Vakkalanka, S.S., Gopalakrishnan, G., Kirby, R.M.: Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 66\u201379. Springer, Heidelberg (2008)"},{"issue":"2","key":"22_CR20","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"22_CR21","unstructured":"Yabandeh, M., Kne\u017eevi\u0107, N., Kosti\u0107, D., Kuncak, V.: CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems. In: NSDI 2009: Proceedings of the 6th USENIX symposium on Networked systems design and implementation, pp. 229\u2013244. USENIX Association (2009)"},{"key":"22_CR22","unstructured":"Yang, J., Chen, T., Wu, M., Xu, Z., Xuezheng Liu, H.L., Yang, M., Long, F., Zhang, L., Zhou, L.: MODIST: Transparent model checking of unmodified distributed systems. In: NSDI 2009: Proceedings of the 6th USENIX symposium on Networked systems design and implementation, pp. 213\u2013228. USENIX Association (2009)"},{"key":"22_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-73370-6_6","volume-title":"Model Checking Software","author":"Y. Yang","year":"2007","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., Kirby, R.M.: Distributed dynamic partial order reduction based verification of threaded software. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 58\u201375. Springer, Heidelberg (2007)"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-85114-1_20","volume-title":"Model Checking Software","author":"Y. Yang","year":"2008","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., Kirby, R.M.: Efficient stateful dynamic partial order reduction. In: Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. LNCS, vol.\u00a05156, pp. 288\u2013305. Springer, Heidelberg (2008)"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11901433_9","volume-title":"Formal Methods and Software Engineering","author":"X. Yi","year":"2006","unstructured":"Yi, X., Wang, J., Yang, X.: Stateful dynamic partial-order reduction. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 149\u2013167. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:53Z","timestamp":1606168013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}