Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
3
A metamorphic testing approach that uses semantics-preserving rewrite rules, focusing on floating-point special values and peep-hole optimizations, to uncover meaningful performance issues in SMT solvers' handling of floating-point formulas is proposed.