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

Publication
Arxiv Preprint

Related