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
Citace podle Chicago (17th ed.)Guo, Hui, a 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.
Citace podle MLA (9th ed.)Guo, Hui, a 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.