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

Sat, 01 Jan 2022 00:00:00 +0100

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu :
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI 2022: 400-424