Muhammad Numair Mansur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISSTA | Dependency-Aware Metamorphic Testing of Datalog Engines. | Muhammad Numair Mansur, Valentin Wstholz, Maria Christakis |
| 2021 | CAV | Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. | Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wstholz |
| 2019 | TACAS | Semantic Fault Localization and Suspiciousness Ranking. | Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz |