Here's an overview of my projects during the studies of the CSI5186 course at the University of Ottawa, delivered by Professor Shiva Nejati. I made some projects and developed my understanding with Fernando Nogueira, during the completion of the course about software verification (as known as "testing") with the modern AI and Large Language Models, at the Fall 2025 term.
Outstanding Projects:
🧠 Understanding SAT/SMT Solvers
🧪 Hyperparameter Tuning Search for Machine Learning Models
👨🏫 Kelvin's Seminar Presentation
Paper: Testing vision-based control systems using learnable evolutionary algorithms.
- Authors: R. B. Abdessalem, S. Nejati, L. C. Briand, and T. Stifter.
- In Proceedings of the 40th International Conference on Software Engineering, ICSE ’18, pages 1016–1026, New York, NY, USA, 2018. ACM
👨🏫 Fernando's Seminar Presentation
Paper: Automated Model-in-the-Loop Testing of Continuous Controllers Using Search.
- Authors: Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull
- SSBSE 2013: 141-157