BibTeX records: Muhammad Numair Mansur

download as .bib file

  author    = {Muhammad Numair Mansur and
               Maria Christakis and
               Valentin W{\"{u}}stholz and
               Fuyuan Zhang},
  title     = {Detecting Critical Bugs in {SMT} Solvers Using Blackbox Mutational
  journal   = {CoRR},
  volume    = {abs/2004.05934},
  year      = {2020}
  author    = {Maria Christakis and
               Matthias Heizmann and
               Muhammad Numair Mansur and
               Christian Schilling and
               Valentin W{\"{u}}stholz},
  title     = {Semantic Fault Localization and Suspiciousness Ranking},
  booktitle = {{TACAS} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11427},
  pages     = {226--243},
  publisher = {Springer},
  year      = {2019}
a service of Schloss Dagstuhl - Leibniz Center for Informatics