Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil. A Pragmatic Approach to Stateful Partial Order Reduction. In Cezara Dragoi, Michael Emmi, Jingbo Wang, editors, Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Volume 13881 of Lecture Notes in Computer Science, pages 129-154, Springer, 2023. [doi]
Abstract is missing.