Muhammad Numair Mansur -

Registered user since Sun 27 Jan 2019

Name:Muhammad Numair Mansur

Bio:

Ph.D. student at the Max Planck Institute for Software Systems (MPI-SWS). Research interests include software verification, formal methods and automatic testing.

Country:Germany

Affiliation:MPI-SWS

Personal website:https://numairmansur.github.io

Twitter:https://twitter.com/Numair_Mansur

GitHub:https://github.com/numairmansur

Research interests:Automatic testing, formal methods, software verification

Contributions

ESEC/FSE 2022	Author of Input Splitting for Cloud-Based Static Application Security Testing Platforms within the Industry Paper-track
SAS 2021	Committee Member in Artifact Evaluation Committee within the SAS-track
ESEC/FSE 2021	Author of Metamorphic Testing of Datalog Engines within the Research Papers-track
ISSTA 2021	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ESEC/FSE 2020	Author of Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing within the Research Papers-track Panelist of Conversations on Fuzzing within the Research Papers-track
ETAPS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
TACAS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track