iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/journals/corr/abs-2111-05290.xml
Rahmadi Trimananda Weiyu Luo Brian Demsky Guoqing Harry Xu Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. 2021 abs/2111.05290 CoRR https://arxiv.org/abs/2111.05290 db/journals/corr/corr2111.html#abs-2111-05290