Cross Platform Bug Correlation Using Stack Traces. - Maryam Abdul Ghafoor; Junaid Haroon Siddiqui (FIT, 2016)

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)

LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan. - Maryam Abdul Ghafoor; Aneesa Abbasi; Meher Fatima Zaidi; Furqan Arshad; Suleman Shahid (CHI Extended Abstracts, 2017)

Chapter Two - Advances in Software Model Checking. - Junaid Haroon Siddiqui; Affan Rauf; Maryam Abdul Ghafoor (Adv. Comput., 2018)

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

MK-SMOTE and M-SMOTE: enhanced techniques for handling class imbalance problem. - Asifa Kanwal; Nayyer Masood; Ghulam Mustafa; Maryam Abdul Ghafoor; Samreen Ayaz (Iran J. Comput. Sci., 2025)