BibTex format
@inproceedings{Liew:2019:10.1145/3338906.3338921,
author = {Liew, D and Cadar, C and Donaldson, A and Stinnett, JR},
doi = {10.1145/3338906.3338921},
pages = {521--532},
publisher = {ACM},
title = {Just fuzz it: solving floating-point constraints using coverage-guided fuzzing},
url = {http://dx.doi.org/10.1145/3338906.3338921},
year = {2019}
}