Tareq Mohammed Nazir

Orcid: 0000-0002-0641-5042

According to our database¹, Tareq Mohammed Nazir authored at least 1 paper in 2022.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2022

Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution.

[DOI]

CoRR, 2022