Author:
Aharoni M.,Asaf S.,Fournier L.,Koifman A.,Nagel R.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Randomized Testing of RISC-V CPUs Using Direct Instruction Injection;IEEE Design & Test;2024-02
2. Correct approximation of IEEE 754 floating-point arithmetic for program verification;Constraints;2022-02-22
3. PositGen-A Verification Suite for Posit Arithmetic;2021 34th International Conference on VLSI Design and 2021 20th International Conference on Embedded Systems (VLSID);2021-02
4. Varity: Quantifying Floating-Point Variations in HPC Systems Through Randomized Testing;2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2020-05
5. Just fuzz it: solving floating-point constraints using coverage-guided fuzzing;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12