Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining رسالة ماجستير