Inproceedings,

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.

, , , and .
APSEC, page 11-20. IEEE Computer Society, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews