CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems.

Su Yong Kim, Sangho Lee, Insu Yun, Wen Xu, Byoungyoung Lee, Youngtae Yun, Taesoo Kim

Browse the full USENIX paper archive.