Nguyen, Thu Trang and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Verifying Java Object Invariants at Runtime. International Journal of Software Engineering and Knowledge Engineering, 21 (04). pp. 605-619.