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
MA Ghafoor, MS Mahmood, JH Siddiqui
Software Quality Journal, 1-35, 2019
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
A Modular Assessment for Cache Memories
S Mahmood, GL Herman
Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–7