FPSE - A Tool for automatic test case generation

What is FPSE?

FPSE (Floating-Point Symbolic Execution) is a tool to generate automatically test case for C Programs from a path condition. FPSE solves path conditions over the floats by computing an exact approximation of the floating-point operations.

FPSE is release as Free software, under the CeCILL-C license.