Follow
Muhammad Numair Mansur
Muhammad Numair Mansur
Amazon Web Services
Verified email at amazon.com - 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, 4-9, 2017
1012017
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
492020
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
172021
Semantic fault localization and suspiciousness ranking
M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
162019
Input splitting for cloud-based static application security testing platforms
M Christakis, T Cottenier, A Filieri, L Luo, MN Mansur, L Pike, N Rosner, ...
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
52022
Automatically tailoring abstract interpretation to custom usage scenarios
MN Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
52021
Dependency-aware metamorphic testing of datalog engines
MN Mansur, V Wüstholz, M Christakis
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
22023
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
12020
Automatically Detecting and Mitigating Issues in Program Analyzers
MN Mansur
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2023
2023
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–10