Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
by Yizhuo Zhai and
Yu Hao and
Zheng Zhang and
Weiteng Chen and
Guoren Li and
Zhiyun Qian and
Chengyu Song and
Manu Sridharan and
Srikanth V. Krishnamurthy and
Trent Jaeger and
Paul L. Yu