Muhammad Numair Mansur
Muhammad Numair Mansur
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Robo: A flexible and robust bayesian optimization framework in python
A Klein, S Falkner, N Mansur, F Hutter
NIPS 2017 Bayesian Optimization Workshop, 2017
292017
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
42019
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
12020
Static Error Trace Analysis Using Aberrant Trace Elements
MN Mansur
University of Freiburg, Germany, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–4