{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:03:51Z","timestamp":1784675031915,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540474609","type":"print"},{"value":"9783540474623","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_9","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"149-167","source":"Crossref","is-referenced-by-count":11,"title":["Stateful Dynamic Partial-Order Reduction"],"prefix":"10.1007","author":[{"given":"Xiaodong","family":"Yi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuejun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proceedings of POPL 2005, Long Beach, California, USA (2005)","DOI":"10.1145\/1040305.1040315"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-60761-7"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Stubborn sets for reduced state space generation. In: Advances in Petri Nets 1990, pp. 491\u2013515 (1991)","DOI":"10.1007\/3-540-53863-1_36"},{"issue":"1-2","key":"9_CR4","first-page":"215","volume":"51","author":"K. Varpaaniemi","year":"2001","unstructured":"Varpaaniemi, K.: Minimizing the Number of Successor States in the Stubborn Set Method. Journal of Fundamental Informatics\u00a051(1-2), 215\u2013234 (2001)","journal-title":"Journal of Fundamental Informatics"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"D. Peled","year":"1994","unstructured":"Peled, D.: Combining partial order reductions with on-the-fly model checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818. Springer, Heidelberg (1994)"},{"key":"9_CR6","volume-title":"Formal Descriptions Techniques VII, FORTE 1994","author":"G.J. Holzmann","year":"1995","unstructured":"Holzmann, G.J., Peled, D.: An improvement in formal verification. In: Formal Descriptions Techniques VII, FORTE 1994. Chapman & Hall, Boca Raton (1995)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Dingel, J.: Computer-Assisted Assume\/Guarantee Reasoning with VeriSoft. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), pp. 138\u2013148 (2003)","DOI":"10.1109\/ICSE.2003.1201195"},{"key":"9_CR8","unstructured":"Havelund, K., Rosu, G.: Java PathExplorer - A Runtime Verification Tool. In: Proc. ISAIRAS 2001: 6th International symposium on AI, Robotics and Automation in Space, Nordwijk, The Netherlands (2001)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"proceedings of RV 2001: 1st Workshop on Runtime Verification","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Java Programs with Java PathExplorer. In: Proceedings of RV 2001: 1st Workshop on Runtime Verification, Paris, France. LNCS, vol.\u00a055(2). Springer, Heidelberg (2001)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: PLDI 2001: Programming Language Design and Implementation (2001)","DOI":"10.1145\/378795.378846"},{"key":"9_CR11","unstructured":"Ball, T., Rajamani, S.K.: Generating abstract explanations of spurious counterexamples in C programs. Technical Report MSR-TR-2002-09, Microsoft Research, Microsoft Corporation (2002)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Chaki, S., Clarke, E., Groce, A.: Modular Verification of Software Components in C. In: ACM-SIGSOFT Distinguished Paper in the 25th International Conference on Software Engineering (ICSE), pp. 385\u2013395 (2003)","DOI":"10.1109\/ICSE.2003.1201217"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Chaki, S., Ouaknine, J., Yorav, K., Clarke, E.: Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. In: 2nd Workshop on Software Model Checking (SoftMC) (2003)","DOI":"10.1016\/S1571-0661(05)80004-0"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/11513988_51","volume-title":"Computer Aided Verification","author":"S. Chaki","year":"2005","unstructured":"Chaki, S., Clarke, E., Sinha, N., Thati, P.: Automated Assume-Guarantee Reasoning for Simulation Conformance. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 534\u2013547. Springer, Heidelberg (2005)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/11513988_18","volume-title":"Computer Aided Verification","author":"S. Chaki","year":"2005","unstructured":"Chaki, S., Ivers, J., Sharygina, N., Wallnau, K.: The ComFoRT Reasoning Framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 164\u2013169. Springer, Heidelberg (2005)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-28644-8_1","volume-title":"CONCUR 2004 - Concurrency Theory","author":"T. Andrews","year":"2004","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Zing, Y.X.: Exploiting Program Structure for Model Checking Concurrent Software. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 1\u201315. Springer, Heidelberg (2004)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A Model Checker for Concurrent Software. MSR Technical Report: MSR-TR-2004-10 (2004)","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., Pasareanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-24732-6_13","volume-title":"Model Checking Software","author":"C.S. Pasareanu","year":"2004","unstructured":"Pasareanu, C.S., Visser, W.: Verification of Java Programs using Symbolic Execution and Invariant Generation. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 164\u2013181. Springer, Heidelberg (2004)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Qadeer, S., Rajarnani, S.K., Rehof, J.: Summarizing Procedures in Concurrent Programs. In: Proceedings of POPL 2004 (2004)","DOI":"10.1145\/964001.964022"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/B:AUSE.0000038937.18006.3d","volume":"11","author":"T. Basten","year":"2004","unstructured":"Basten, T., Bosnacki, D., Geilen, M.: Cluster-based Partial-Order Reduction. Automatic Software Engineering\u00a011(4), 365\u2013402 (2004)","journal-title":"Automatic Software Engineering"},{"key":"9_CR22","volume-title":"proceedings of Automated Software Engineering, ASE 2001","author":"T. Basten","year":"2001","unstructured":"Basten, T., Bosnacki, D.: Enhancing Partial-Order Reduction via Process Clustering. In: Proceedings of Automated Software Engineering, ASE 2001. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"9_CR23","volume-title":"proceeding of Fifth International Conference on Quality Software (QSIC 2005)","author":"X. Yi","year":"2005","unstructured":"Yi, X., Wang, J., Yang, X.: Verification of C Programs using Slicing Execution. In: Proceeding of Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia. IEEE Computer Society press, Los Alamitos (2005)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Yi, X., Wang, J., Yang, X.: Slicing Execution for Model Checking C Programs. Special Issue on Quality Software of International Journal of Software Engineering and Knowledge Engineering (accepted, 2006)","DOI":"10.1142\/S0218194006002987"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:37:09Z","timestamp":1619509029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11901433_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}