Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.
Abstract not provided.
Rutledge, Richard↗
Engineering topics
Alessandro, Orso
Publications and source records attributed to Alessandro, Orso.
Engineering topics
Publications and source records attributed to Alessandro, Orso.
Abstract not provided.