Graduated Students

Ph.D.:

Mawal Ali Mohammed (April 2020), co-advisor
o Thesis: Goal-oriented Requirements Language (GRL) Bad Smells Detection

M.Sc.:

• Muhammad Tukur, M.Sc. (Dec 2020): Analysis of GRL Actor Interactions
• Maged Sheghdara, M.Sc. (Apr 2018): Automated Recovery of System Availability Requirements from System Execution Traces
• Hasan Salem Alkaf, M.Sc. (Dec 2017): A Change Impact Analysis Approach to User Requirements Notation (URN) Models
• Aliyu Bagudu, M.Sc., (May 2017): Multi-objective Optimization Approach to Software Packaging using Sequence Diagrams
• Taha Hussein Binalialhag, M.Sc. (Dec 2016): Applying Static Slicing to UCM Requirements Specifications
• Osama Jamil Alkrarha, M.Sc. (May 2014): Design and Evaluation of Mutation Operators for Asmetal Language