Hui Guo 0007, Cindy Rubio-González. Efficient generation of error-inducing floating-point inputs via symbolic execution. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020. pages 1261-1272, ACM, 2020. [doi]
@inproceedings{0007R20,
title = {Efficient generation of error-inducing floating-point inputs via symbolic execution},
author = {Hui Guo 0007 and Cindy Rubio-González},
year = {2020},
doi = {10.1145/3377811.3380359},
url = {https://doi.org/10.1145/3377811.3380359},
researchr = {https://researchr.org/publication/0007R20},
cites = {0},
citedby = {0},
pages = {1261-1272},
booktitle = {ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020},
editor = {Gregg Rothermel and Doo-Hwan Bae},
publisher = {ACM},
isbn = {978-1-4503-7121-6},
}