default search action

combined dblp search
author search
venue search
publication search

ask others

Maryam Abdul Ghafoor

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/GhafoorMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/GhafoorMS20
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui:
Extending symbolic execution for automated testing of stored procedures. Softw. Qual. J. 28(2): 853-887 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/SiddiquiRG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/SiddiquiRG18
Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor:
Chapter Two - Advances in Software Model Checking. Adv. Comput. 108: 59-89 (2018)
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/GhafoorAZAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/GhafoorAZAS17
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: 2307-2313
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/GhafoorS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/GhafoorS16
Maryam Abdul Ghafoor, Junaid Haroon Siddiqui:
Cross Platform Bug Correlation Using Stack Traces. FIT 2016: 199-204
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GhafoorMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GhafoorMS16
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui:
Effective Partial Order Reduction in Model Checking Database Applications. ICST 2016: 146-156
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MahmoodGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MahmoodGS16
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui:
Symbolic execution of stored procedures in database management systems. ASE 2016: 519-530

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.