Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.

Besnik Seljimi, Ioannis Parissis

Browse the full ISSRE paper archive.