Semantic Fault Localization and Suspiciousness Ranking. - Maria Christakis; Matthias Heizmann; Muhammad Numair Mansur; Christian Schilling 001; Valentin Wüstholz (TACAS (1), 2019)

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. - Muhammad Numair Mansur; Maria Christakis; Valentin Wüstholz; Fuyuan Zhang (ESEC/SIGSOFT FSE, 2020)

Automatically Tailoring Static Analysis to Custom Usage Scenarios. - Muhammad Numair Mansur; Benjamin Mariano; Maria Christakis; Jorge A. Navas; Valentin Wüstholz (CoRR, 2020)

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. - Muhammad Numair Mansur; Benjamin Mariano; Maria Christakis; Jorge A. Navas; Valentin Wüstholz (CAV (2), 2021)

Metamorphic testing of Datalog engines. - Muhammad Numair Mansur; Maria Christakis; Valentin Wüstholz (ESEC/SIGSOFT FSE, 2021)

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 (ESEC/SIGSOFT FSE, 2022)

Dependency-Aware Metamorphic Testing of Datalog Engines. - Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis (ISSTA, 2023)

Automatically Detecting and Mitigating Issues in Program Analyzers. - Muhammad Numair Mansur (2023)

Understanding Developer-Analyzer Interactions in Code Reviews. - Martin Schäf; Berk Çirisci; Linghui Luo; Muhammad Numair Mansur; Omer Tripp; Daniel Sanchez; Qiang Zhou; Muhammad Bilal Zafar (ASE, 2024)

Automatically Detecting and Mitigating Issues in Program Analyzers. - Muhammad Numair Mansur (Softwaretechnik-Trends, 2024)