Muhammad Numair Mansur

According to our database, Muhammad Numair Mansur authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automatically Detecting and Mitigating Issues in Program Analyzers.

Muhammad Numair Mansur

PhD thesis, 2023

Dependency-Aware Metamorphic Testing of Datalog Engines.

Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Input splitting for cloud-based static application security testing platforms.

Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Metamorphic testing of Datalog engines.

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios.

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz

CoRR, 2020

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Semantic Fault Localization and Suspiciousness Ranking.

Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019