Maryam Abdul Ghafoor

According to our database, Maryam Abdul Ghafoor authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Extending symbolic execution for automated testing of stored procedures.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Softw. Qual. J., 2020

2018

Chapter Two - Advances in Software Model Checking.

Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor

Adv. Comput., 2018

2017

LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan.

Maryam Abdul Ghafoor, Aneesa Abbasi, Meher Fatima Zaidi, Furqan Arshad, Suleman Shahid

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Symbolic execution of stored procedures in database management systems.

Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Effective Partial Order Reduction in Model Checking Database Applications.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Cross Platform Bug Correlation Using Stack Traces.

Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Proceedings of the International Conference on Frontiers of Information Technology, 2016