Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs | IEEE Conference Publication | IEEE Xplore