Achieving high coverage for floating-point code via unconstrained programming

Z Fu, Z Su - ACM SIGPLAN Notices, 2017 - dl.acm.org
Achieving high code coverage is essential in testing, which gives us confidence in code
quality. Testing floating-point code usually requires painstaking efforts in handling floating …

Achieving high coverage for floating-point code via unconstrained programming

Z Fu, Z Su - Proceedings of the 38th ACM SIGPLAN Conference on …, 2017 - dl.acm.org
Achieving high code coverage is essential in testing, which gives us confidence in code
quality. Testing floating-point code usually requires painstaking efforts in handling floating …

[PDF][PDF] Achieving High Coverage for Floating-Point Code via Unconstrained Programming

Z Fu, Z Su - zhoulaifu.com
Achieving high code coverage is essential in testing, which gives us confidence in code
quality. Testing floating-point code usually requires painstaking efforts in handling …