A regression testing approach for Lustre/SCADE programs. - Trinh Cong Duy; Nguyen Thanh Binh 002; Ioannis Parissis (SoICT, 2015)