Wafa Hasanain

Wafa Hasanain is a Contract Instructor at Carleton University's School of Computer Science (SCE), within the Faculty of Engineering and Design. She holds a Ph.D. and focuses on software testing methodologies, real-time embedded systems, and automated testing frameworks. Her research emphasizes clone detection in industrial test code, state-based online testing, and software verification using tools like SPIN Model Checker and RTEdge frameworks.

Education:

• Ph.D. (exact discipline unspecified)

Research Interests: Hasanain’s work bridges software engineering and embedded systems. She explores automation in testing complex systems, leveraging clone detection to improve test code maintainability and applying formal verification techniques to real-time software. Her methodologies aim to enhance software reliability through systematic analysis and tool-driven validation.

Article Trends: Her publications (2013–2020) concentrate on testing challenges in real-time embedded systems and industrial test code. Key themes include state-based approaches, clone analysis for code maintenance, and integration of model checkers like SPIN with frameworks like RTEdge. These contributions address scalability and accuracy in automated testing environments.

Awards & Grants: No scientific awards or grants explicitly mentioned in the text.

Advising & Labs: No formal advisees or labs listed, though her research may involve collaborations with teams focused on embedded systems testing.