Diagnosing Software Faults Using Multiverse Analysis. P Chatterjee, A Chatterjee, J Campos, R Abreu, S Roy IJCAI, 1629-1635, 2020 | 18 | 2020 |
Distributed Bounded Model Checking. P Chatterjee, S Roy, BP Diep, A Lal FMCAD, 47-56, 2020 | 13 | 2020 |
Construction of synergy networks from gene expression data related to disease P Chatterjee, NR Pal Gene 590 (2), 250-262, 2016 | 12 | 2016 |
Proof-guided underapproximation widening for bounded model checking P Chatterjee, J Meda, A Lal, S Roy International Conference on Computer Aided Verification, 304-324, 2022 | 7 | 2022 |
Accelerated Bounded Model Checking Using Interpolation Based Summaries M Solanki, P Chatterjee, A Lal, S Roy International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
Finding synergy networks from gene expression data: A fuzzy-rule-based approach K Sarkar, P Chatterjee, NR Pal IEEE Transactions on Fuzzy Systems 24 (6), 1488-1499, 2016 | 3 | 2016 |
Discovery of synergistic genetic network: A minimum spanning tree-based approach P Chatterjee, NR Pal Journal of Bioinformatics and Computational Biology 14 (01), 1650003, 2016 | 3 | 2016 |
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. P Chatterjee, J Campos, R Abreu, S Roy IJCAI, 3140-3148, 2023 | 2 | 2023 |
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering P Chatterjee, PK Kalita, S Lahiri, SK Muduli, V Singh, G Takhar, S Roy 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
POPULATION STRUCTURE OFPenaeus monodon FROM COASTALWEST BENGAL USING RAPD FINGERPRINTING NR Chatterjee, P Chatterjee, SD Roy Kolkata, 2009 | | 2009 |
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)| 979-8-3503-2996-4/23/$31.00© 2023 IEEE| DOI: 10.1109/ASE56229. 2023.00009 S Agarwal, V Aggarwal, U Alon, PC Amusuo, B Balcı, T Baral, S Barnett, ... | | |