Prantik Chatterjee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | An Empirical Study on Spectrum Based Fault Localization Heuristics. | Vishal Singh, Prantik Chatterjee, Subhajit Roy |
| 2024 | TACAS | Accelerated Bounded Model Checking Using Interpolation Based Summaries. | Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy |
| 2023 | IJCAI | Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. | Prantik Chatterjee, Jos Campos, Rui Abreu, Subhajit Roy |
| 2022 | CAV | Proof-Guided Underapproximation Widening for Bounded Model Checking. | Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy |
| 2020 | FMCAD | Distributed Bounded Model Checking. | Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal |
| 2020 | IJCAI | Diagnosing Software Faults Using Multiverse Analysis. | Prantik Chatterjee, Abhijit Chatterjee, Jos Campos, Rui Abreu, Subhajit Roy |