Applications of Text Mining Techniques on Automated Software System Verification