Muhammad Numair Mansur | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Maria Christakis
15 publications
Valentin Wüstholz
12 publications
Fuyuan Zhang
11 publications
Jorge A. Navas
3 publications
Benjamin Mariano
1 publication

research

∙ 09/29/2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios

In recent years, there has been significant progress in the development ...

0 Muhammad Numair Mansur, et al. ∙

research

∙ 04/13/2020

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Formal methods use SMT solvers extensively for deciding formula satisfia...

0 Muhammad Numair Mansur, et al. ∙