An efficient method to generate test cases from uml-use case diagram by Khalifa, E. M., Jamil, H. A., Jawawi, D. N. A., Deris, S. B.