TY  - RPRT
TI  - Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
AU  - Rahmadi Trimananda
AU  - Weiyu Luo
AU  - Brian Demsky
AU  - Guoqing Harry Xu
PY  - 2021
UR  - https://arxiv.org/abs/2111.05290
ID  - 2111.05290
ER  -