Maryam Abdul Ghafoor
Maryam Abdul Ghafoor
Ph.D. Candidate, Department of Computer Science, LUMS School of Science and Engineering
Verified email at
Cited by
Cited by
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
Extending symbolic execution for automated testing of stored procedures
M Abdul Ghafoor, MS Mahmood, JH Siddiqui
Software Quality Journal, 2019
Advances in Software Model Checking
JH Siddiqui, A Rauf, MA Ghafoor
Advances in Computers 108, 59-89, 2018
Cross Platform Bug Correlation Using Stack Traces
M Abdul Ghafoor, JH Siddiqui
2016 International Conference on Frontiers of Information Technology (FIT), 2016
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
LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan
M Abdul Ghafoor, A Abbasi, MF Zaidi, F Arshad, S Shahid
ACM CHI 2017, 2017
The system can't perform the operation now. Try again later.
Articles 1–6