| Symbolic execution of stored procedures in database management systems MS Mahmood, M Abdul Ghafoor, JH Siddiqui Automated Software Engineering (ASE), 2016 31st IEEE/ACM International …, 2016 | 9 | 2016 |
| Advances in Software Model Checking JH Siddiqui, A Rauf, MA Ghafoor Advances in Computers 108, 59-89, 2018 | 7 | 2018 |
| Extending symbolic execution for automated testing of stored procedures M Abdul Ghafoor, MS Mahmood, JH Siddiqui Software Quality Journal, 2019 | 5 | 2019 |
| Effective Partial Order Reduction in Model Checking Database Applications M Abdul Ghafoor, MS Mahmood, JH Siddiqui 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 5 | 2016 |
| Cross Platform Bug Correlation Using Stack Traces M Abdul Ghafoor, JH Siddiqui 2016 International Conference on Frontiers of Information Technology (FIT), 2016 | 5 | 2016 |
| LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan M Abdul Ghafoor, A Abbasi, MF Zaidi, F Arshad, S Shahid ACM CHI 2017, 2017 | | 2017 |
