关注
Muhammad Numair Mansur
Muhammad Numair Mansur
Amazon Web Services
在 amazon.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
932017
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
472020
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
162021
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
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
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
42022
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
系统目前无法执行此操作,请稍后再试。
文章 1–10