Rundong Li

Group Experience

Graduated 2020
Master

Publications

3 publications

2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei HuangRundong LiMinghao Liu Feifei Ma Jian Zhang

2020

Combinatorial Testing of Browsers’ Support for Multimedia
TR 2020Xi Deng Zhiqiang ZhangRundong LiJun Yan Jian Zhang
GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming Liu Xutong Ma Rong Qu Jun Yan Jian Zhang