Effective Partial Order Reduction in Model Checking Database Applications. - Maryam Abdul Ghafoor; Muhammad Suleman Mahmood; Junaid Haroon Siddiqui (ICST, 2016)

Symbolic execution of stored procedures in database management systems. - Muhammad Suleman Mahmood; Maryam Abdul Ghafoor; Junaid Haroon Siddiqui (ASE, 2016)

Evaluating test-suite reduction in real software evolution. - August Shi; Alex Gyori; Suleman Mahmood; Peiyuan Zhao; Darko Marinov (ISSTA, 2018)

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. - Farah Hariri; August Shi; Vimuth Fernando; Suleman Mahmood; Darko Marinov (ICST, 2019)

Caches as an Example of Machine-gradable Exam Questions for Complex Engineering Systems. - Suleman Mahmood; Mingjie Zhao; Omar Khan; Geoffrey L. Herman (FIE, 2020)

Extending symbolic execution for automated testing of stored procedures. - Maryam Abdul Ghafoor; Muhammad Suleman Mahmood; Junaid Haroon Siddiqui (Softw. Qual. J., 2020)

A Modular Assessment for Cache Memories. - Suleman Mahmood; Geoffrey L. Herman (SIGCSE, 2021)