Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate

Publication
In Proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022)