1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 1 cited
Automatically Tailoring Static Analysis to Custom Usage Scenarios
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis +2
In recent years, there has been significant progress in the development and industrial adoption of static analyzers. Such analyzers typically provide a large, if not huge, number o…
cs.SE2020
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz +1
Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis. However,…