KIỂM THỬ HỒI QUY TỰ ĐỘNG CHO CÁC ỨNG DỤNG LUSTRE/SCADE Chuyên ngành : KHOA HỌC MÁY TÍNH. TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT