Publications Details

Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations

Rutledge, Richard; Teranishi, Keita; Alessandro, Orso

Abstract not provided.