Symbolic execution of floating-point computations-Reference-Cited by-同舟云学术

Symbolic execution of floating-point computations

Published:2006 Issue:2 Volume:16 Page:97-121
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Botella Bernard,Gotlieb Arnaud,Michel Claude

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference40 articles.

1. Symbolic execution and program testing

2. , . Applications of feasible path analysis to program testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'94), Seattle, WA, August 1994. ACM Press: New York, 1994; 80–94.

3. , , , . Test data generation and feasible path analysis. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'94), Seattle, WA, August 1994. ACM Press: New York, 1994; 95–107.

4. Translatability and Decidability Questions for Restricted Classes of Program Schemas

5. A System to Generate Test Data and Symbolically Execute Programs

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Correct approximation of IEEE 754 floating-point arithmetic for program verification;Constraints;2022-02-22

2. A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions;ACM Transactions on Software Engineering and Methodology;2021-01-31

3. CSEFuzz: Fuzz Testing Based on Symbolic Execution;IEEE Access;2020

4. A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors;Lecture Notes in Computer Science;2020

5. Rigorous Enclosure of Round-Off Errors in Floating-Point Computations;Lecture Notes in Computer Science;2020