Efficient generation of error-inducing floating-point inputs via symbolic execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hui Guo 0007' in GoogleThis author has not been identified. Look up 'Cindy Rubio-González' in Google

runs on WebDSL