Muhammad Numair Mansur
Muhammad Numair Mansur
Verified email at - Homepage
Cited by
Cited by
Robo: A flexible and robust bayesian optimization framework in python
A Klein, S Falkner, N Mansur, F Hutter
NIPS 2017 Bayesian Optimization Workshop, 2017
Semantic fault localization and suspiciousness ranking
M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz
International Conference on Tools and Algorithms for the Construction and …, 2019
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
arXiv preprint arXiv:2004.05934, 2020
Automatically Tailoring Static Analysis to Custom Usage Scenarios
MN Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz
arXiv preprint arXiv:2009.13860, 2020
Static Error Trace Analysis Using Aberrant Trace Elements
MN Mansur
University of Freiburg, Germany, 2018
The system can't perform the operation now. Try again later.
Articles 1–5