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 | 35 | 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 | 28 | 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 | 9 | 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 | 5 | 2016 |
A modular assessment for cache memories S Mahmood, GL Herman Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | 3 | 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 | 2 | 2020 |
Teaching Computer Architecture with Spatial Ability Considerations GL Herman, MS Mahmood 2023 ASEE Annual Conference & Exposition, 2023 | | 2023 |
Analyzing and improving cache memory instruction MS Mahmood University of Illinois at Urbana-Champaign, 2023 | | 2023 |
Work in Progress: Exploring Students' Misconceptions of Cache Memories MS Mahmood, H Chen, M Fong, G Herman 2022 ASEE Annual Conference & Exposition, 2022 | | 2022 |