Symbolic execution of floating-point programs: How far are we?
Authors:
- Xu YangXYXu Yang
- Guofeng ZhangGZGuofeng Zhang
- Ziqi ShuaiZSZiqi Shuai
- Zhenbang ChenZCZhenbang Chen
- Ji WangJWJi Wang
- 30 October 2024
- journal article
- research article
- Published by Elsevier in Journal of Systems and Software
- Vol. 220
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Machine learning steered symbolic execution framework for complex software codeFormal Aspects of Computing, 2021
- Accelerating array constraints in symbolic execution2017
- Floating Point Arithmetic Protocols for Constructing Secure Data Analysis ApplicationProcedia Computer Science, 2013
- SAGECommunications of the ACM, 2012
- High-precision floating-point arithmetic in scientific computationComputing in Science & Engineering, 2005
- Search‐based software test data generation: a surveySoftware Testing, Verification and Reliability, 2004
- An Introduction to MCMC for Machine LearningMachine Learning, 2003
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991
- Symbolic execution and program testingCommunications of the ACM, 1976