Muhammad Suleman Mahmood
Muhammad Suleman Mahmood
Verified email at
TitleCited byYear
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
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
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
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
Extending symbolic execution for automated testing of stored procedures
MA Ghafoor, MS Mahmood, JH Siddiqui
Software Quality Journal, 1-35, 2019
The system can't perform the operation now. Try again later.
Articles 1–5