Muhammad Suleman Mahmood
Muhammad Suleman Mahmood
University of Illinois at Urbana Champaign
Verified email at illinois.edu
TitleCited byYear
Symbolic execution of stored procedures in database management systems
MS Mahmood, MA Ghafoor, JH Siddiqui
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
52016
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
42018
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
22016
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
2019
Extending symbolic execution for automated testing of stored procedures
MA Ghafoor, MS Mahmood, JH Siddiqui
Software Quality Journal, 1-35, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5