发送短信: Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid