Cited By
View all- Zhang ZXu JHao JQu YHe HZhou B(2024)Hierarchical search algorithm for error detection in floating-point arithmetic expressionsThe Journal of Supercomputing10.1007/s11227-023-05523-680:1(1183-1205)Online publication date: 1-Jan-2024
- 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
- Abbasi RSchiffl JDarulova EUlbrich MAhrendt W(2023)Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeYInternational Journal on Software Tools for Technology Transfer10.1007/s10009-022-00691-x25:2(185-204)Online publication date: 8-Mar-2023
- Show More Cited By