Publications Details

Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations

Rutledge, Richard; Teranishi, Keita T.; Alessandro, Orso

Abstract not provided.