Stebėti
Muhammad Numair Mansur
Muhammad Numair Mansur
Amazon Web Services
Patvirtintas el. paštas amazon.com - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
1112017
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
622020
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
282021
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
212019
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
82023
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
82021
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
62022
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
Understanding developer-analyzer interactions in code reviews
M Schaef, B Cirisci, L Luo, MN Mansur, O Tripp, D Sanchez, Q Zhou, ...
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
2024
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–11