Cited By
View all- Zhang ZZhou BHao JYang HCui MZhou YSong GLi FXu JZhao JBissyandé TKlein JBird CSarro F(2023)Eiffel: Inferring Input Ranges of Significant Floating-Point Errors via Polynomial ExtrapolationProceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE56229.2023.00139(1441-1453)Online publication date: 11-Nov-2023
- Chowdhary SNagarakatte S(2022)Fast shadow execution for debugging numerical errors using error free transformationsProceedings of the ACM on Programming Languages10.1145/35633536:OOPSLA2(1845-1872)Online publication date: 31-Oct-2022
- Kloberdanz EKloberdanz KLe WDwyer MDamian DZeller A(2022)DeepStabilityProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510095(586-597)Online publication date: 21-May-2022
- Show More Cited By