Login / Signup
Neha Rungta
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 22
Top Topics
Test Suite
Access Control Policies
Symbolic Execution
Formal Methods
Top Venues
ACM SIGLOG News
ACM SIGSOFT Softw. Eng. Notes
NFM
CAV (1)
</>
Publications
</>