Maryam Abdul Ghafoor

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Database Management Systems

Stored Procedures

Symbolic Execution

Top Venues

Softw. Qual. J.

Publications

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
Extending symbolic execution for automated testing of stored procedures. Softw. Qual. J. 28 (2) (2020)
Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor
Chapter Two - Advances in Software Model Checking. Adv. Comput. 108 (2018)
Maryam Abdul Ghafoor, Aneesa Abbasi, Meher Fatima Zaidi, Furqan Arshad, Suleman Shahid
LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan. CHI Extended Abstracts (2017)
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
Effective Partial Order Reduction in Model Checking Database Applications. ICST (2016)
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui
Symbolic execution of stored procedures in database management systems. ASE (2016)
Maryam Abdul Ghafoor, Junaid Haroon Siddiqui
Cross Platform Bug Correlation Using Stack Traces. FIT (2016)