Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

Authors
A. Gotlieb