Mutants Generation For Testing Lustre Programs. - Le Van Phol; Nguyen Thanh Binh 002; Ioannis Parissis (SoICT, 2017)