2
Publications
65
Citations
2
H-Index
2020
Active since
Affiliations
Muhammad Numair Mansur is an author at Max Planck Institute for Software Systems specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringFuzzing
Publications per year
2020–2021
2
2
Metamorphic testing of Datalog engines
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz · 2021 · 22 citations · Full text
Rows per page
1–2 of 2