Invariants generation for method overriding using abstract interpretation - Siti Hafizah Ab. Hamid (2013)