Folgen
Muhammad Numair Mansur
Muhammad Numair Mansur
Amazon Web Services
Bestätigte E-Mail-Adresse bei amazon.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
942017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10