Guo, H., & Rubio-Gonzalez, C. (2020, October). Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution. 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 1261-1272. https://doi.org/10.1145/3377811.3380359
Chicago-Zitierstil (17. Ausg.)Guo, Hui, und Cindy Rubio-Gonzalez. "Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) Oct. 2020: 1261-1272. https://doi.org/10.1145/3377811.3380359.
MLA-Zitierstil (9. Ausg.)Guo, Hui, und Cindy Rubio-Gonzalez. "Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), Oct. 2020, pp. 1261-1272, https://doi.org/10.1145/3377811.3380359.