@inproceedings {203197, author = {Su Yong Kim and Sangho Lee and Insu Yun and Wen Xu and Byoungyoung Lee and Youngtae Yun and Taesoo Kim}, title = {{CAB-Fuzz}: Practical Concolic Testing Techniques for {COTS} Operating Systems}, booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)}, year = {2017}, isbn = {978-1-931971-38-6}, address = {Santa Clara, CA}, pages = {689--701}, url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/kim}, publisher = {USENIX Association}, month = jul }