Conference
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
| Τίτλος: | Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution |
|---|---|
| Συγγραφείς: | Guo, Hui, Rubio-Gonzalez, Cindy |
| Πηγή: | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2020 IEEE/ACM 42nd International Conference on. :1261-1272 Oct, 2020 |
| Relation: | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781450371216 |
|---|---|
| ISSN: | 15581225 |