Luận văn thạc sĩ về kiểm chứng bất biến của đối tượng trong lập trình hướng khía cạnh