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

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu

Browse the full VMCAI paper archive.