Besnik Seljimi Ioannis Parissis Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. 105-116 2006 conf/issre/2006 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.49 db/conf/issre/issre2006.html#SeljimiP06