Checking Interface Interaction Protocols Using Aspect-Oriented Programming. - Anh-Hoang Truong; Thanh-Binh Trinh; Dang Van Hung; Viet Ha Nguyen 001; Nguyen Thi Thu Trang; Pham Dinh Hung (SEFM, 2008)