Muhammad Suleman Mahmood
Muhammad Suleman Mahmood
Verified email at
Cited by
Cited by
Evaluating test-suite reduction in real software evolution
A Shi, A Gyori, S Mahmood, P Zhao, D Marinov
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Comparing mutation testing at the levels of source code and compiler intermediate representation
F Hariri, A Shi, V Fernando, S Mahmood, D Marinov
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
Symbolic execution of stored procedures in database management systems
MS Mahmood, M Abdul Ghafoor, JH Siddiqui
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
Extending symbolic execution for automated testing of stored procedures
M Abdul Ghafoor, MS Mahmood, JH Siddiqui
Software Quality Journal 28 (2), 853-887, 2020
Effective partial order reduction in model checking database applications
MA Ghafoor, MS Mahmood, JH Siddiqui
2016 IEEE international conference on software testing, verification and …, 2016
Caches as an example of machine-gradable exam questions for complex engineering systems
S Mahmood, M Zhao, O Khan, GL Herman
2020 IEEE Frontiers in Education Conference (FIE), 1-9, 2020
A Modular Assessment for Cache Memories
S Mahmood, GL Herman
Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021
The system can't perform the operation now. Try again later.
Articles 1–7