Zhai, Yizhuo, Hao, Yu, Zhang, Hang, Wang, Daimeng, Song, Chengyu, Qian, Zhiyun, Lesani, Mohsen, Krishnamurthy, Srikanth V., and Yu, Paul. UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. Retrieved from https://par.nsf.gov/biblio/10274612. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Web. doi:10.1145/3368089.3409686.

Zhai, Yizhuo, Hao, Yu, Zhang, Hang, Wang, Daimeng, Song, Chengyu, Qian, Zhiyun, Lesani, Mohsen, Krishnamurthy, Srikanth V., & Yu, Paul. UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (). Retrieved from https://par.nsf.gov/biblio/10274612. https://doi.org/10.1145/3368089.3409686

Zhai, Yizhuo, Hao, Yu, Zhang, Hang, Wang, Daimeng, Song, Chengyu, Qian, Zhiyun, Lesani, Mohsen, Krishnamurthy, Srikanth V., and Yu, Paul. "UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel". 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (). Country unknown/Code not available. https://doi.org/10.1145/3368089.3409686. https://par.nsf.gov/biblio/10274612.

@article{osti_10274612,
place = {Country unknown/Code not available}, title = {UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel}, url = {https://par.nsf.gov/biblio/10274612}, DOI = {10.1145/3368089.3409686}, abstractNote = {}, journal = {28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author = {Zhai, Yizhuo and Hao, Yu and Zhang, Hang and Wang, Daimeng and Song, Chengyu and Qian, Zhiyun and Lesani, Mohsen and Krishnamurthy, Srikanth V. and Yu, Paul}, editor = {null} }