Envoyer par SMS: Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid