Pritam Gharat

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Static Analysis

Symbolic Execution

Test Generation

Top Venues

Publications

Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA (2022)