@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
}
