BibTeX records: Affan Rauf

• > Home > Persons > Affan Rauf

@article{DBLP:journals/tr/RaufNS19,
  author       = {Affan Rauf and
                  Muhammad Nawaz and
                  Junaid Haroon Siddiqui},
  title        = {Effective State Encoding for Breadth-First Generation of Complex Structures},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {68},
  number       = {3},
  pages        = {1154--1167},
  year         = {2019}
}

@article{DBLP:journals/ac/SiddiquiRG18,
  author       = {Junaid Haroon Siddiqui and
                  Affan Rauf and
                  Maryam Abdul Ghafoor},
  title        = {Chapter Two - Advances in Software Model Checking},
  journal      = {Adv. Comput.},
  volume       = {108},
  pages        = {59--89},
  year         = {2018}
}

@inproceedings{DBLP:conf/icse/RaufNS18,
  author       = {Affan Rauf and
                  Muhammad Nawaz and
                  Junaid Haroon Siddiqui},
  title        = {Efficient iterative deepening for bounded exhaustive generation of
                  complex structures},
  booktitle    = {{ICSE} (Companion Volume)},
  pages        = {346--347},
  publisher    = {{ACM}},
  year         = {2018}
}