Login / Signup
Tareq Mohammed Nazir
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Static Analysis
Symbolic Execution
Neural Network
Test Data Generation
Top Venues
CoRR
</>
Publications
</>
Tareq Mohammed Nazir
,
Martin Pinzger
Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution.
CoRR
(2022)