| 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 | 22 | 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 | 18 | 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 | 8 | 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 | 5 | 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 | 4 | 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 | 2 | 2020 |
| A Modular Assessment for Cache Memories S Mahmood, GL Herman Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | | 2021 |
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
