| Test-the-rest: An approach to testing restful web-services SK Chakrabarti, P Kumar 2009 Computation World: Future Computing, Service Computation, Cognitive …, 2009 | 63 | 2009 |
| Connectedness testing of restful web-services SK Chakrabarti, R Rodriquez Proceedings of the 3rd India software engineering conference, 143-152, 2010 | 34 | 2010 |
| Specification based regression testing using explicit state space enumeration SK Chakrabarti, YN Srikant 2006 International Conference on Software Engineering Advances (ICSEA'06), 20-20, 2006 | 12 | 2006 |
| Source-code similarity measurement: syntax tree fingerprinting for automated evaluation A Verma, P Udhayanan, RM Shankar, N Kn, SK Chakrabarti Proceedings of the First International Conference on AI-ML Systems, 1-7, 2021 | 8 | 2021 |
| Designing Software Engineering Courses for Effective Teaching and Learning N Bolloju, SK Chakrabarti Proceedings of the 10th Innovations in Software Engineering Conference, 220-220, 2017 | 7 | 2017 |
| Symtest: A framework for symbolic testing of embedded software S Chakrabarti, S Ramesh Proceedings of the 9th India Software Engineering Conference, 48-58, 2016 | 7 | 2016 |
| Automated testing of refreshable braille display SK Singh, SK Chakrabarti, DB Jayagopi Human-Centric Computing in a Data-Driven Society: 14th IFIP TC 9 …, 2020 | 4 | 2020 |
| Automated test case generation for programmable logic controller code VP Suresh, S Chakrabarti, R Jetley Proceedings of the 12th Innovations in Software Engineering Conference …, 2019 | 4 | 2019 |
| ACT (Abstract to Concrete Tests)-A tool for generating Concrete test cases from Formal Specification of Web Applications. K Bubna, SK Chakrabarti ModSym+ SAAAS@ ISEC, 16-22, 2016 | 4 | 2016 |
| Static race detection for periodic programs VP Suresh, R Pai, D D’Souza, M D’Souza, SK Chakrabarti European Symposium on Programming, 290-316, 2022 | 2 | 2022 |
| StaBL: Statecharts with Local Variables SK Chakrabarti, K Venkatesan Proceedings of the 13th Innovations in Software Engineering Conference …, 2020 | 2 | 2020 |
| Handling backtracking for symbolic testing of embedded software VP Suresh, SK Chakrabarti, R Jetley, D Mohan 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 2 | 2019 |
| End to End Specification based Test Generation of Web Applications. K Bubna, S Chakrabarti ENASE, 296-302, 2016 | 2 | 2016 |
| Using spreadsheets for finite state modelling SK Chakrabarti, S Sukumaran Proceedings of the 2nd India software engineering conference, 27-36, 2009 | 2 | 2009 |
| Test sequence computation for regression testing of reactive systems SK Chakrabarti, YN Srikant Proceedings of the 1st India software engineering conference, 131-132, 2008 | 2 | 2008 |
| Discovering multiple design approaches in programming assignment submissions. KN Nikhila, SK Chakrabarti, M Gupta SAC, 1841-1845, 2021 | 1 | 2021 |
| Formalizing GPU Instruction Set Architecture in Coq N Bhatia, M D'Souza, SK Chakrabarti Proceedings of the 12th Innovations in Software Engineering Conference …, 2019 | 1 | 2019 |
| A fresh look on semantics of Concurrent State Based Language (ConStaBL) K Venkatesan, SK Chakrabarti Journal of Computer Languages, 101270, 2024 | | 2024 |
| 17th Innovations in Software Engineering Conference SK Chakrabarti, R Komondoor, RK Medicherla, A Rastogi, S Ghosh, ... | | 2024 |
| Safeguarding Controller Variables from SEUs using Static Analysis Ganesha, SK Chakrabarti Proceedings of the 17th Innovations in Software Engineering Conference, 1-4, 2024 | | 2024 |
Nikhila K NResearch Fellow at CNRS@CREATEVerified email at cnrsatcreate.sg
