BibTeX records: Muhammad Numair Mansur

download as .bib file

@article{DBLP:journals/corr/abs-2004-05934,
  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
               Fuzzing},
  journal   = {CoRR},
  volume    = {abs/2004.05934},
  year      = {2020}
}
@inproceedings{DBLP:conf/tacas/ChristakisHMSW19,
  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