Shahid Saleem, Saif U. R. Malik, Bilal Mehboob, Roobaea Alroobaea, Sultan Algarni, Abdullah M. Baqasah, Naveed Ahmad, Muhammad Hasnain, Vol. 18, No. 3, March 31, 2024
10.3837/tiis.2024.03.006

• Activity Diagram
• State Chart Diagram
• Sequence Diagram
• System Testing Graph
• Model based Testing
• Test Case Generation.