@inproceedings {281422, author = {Yu Liang and Song Liu and Hong Hu}, title = {Detecting Logical Bugs of {DBMS} with Coverage-based Guidance}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {4309--4326}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/liang}, publisher = {USENIX Association}, month = aug }