Specification Based Regression Testing Using Explicit State Space Enumeration. - Sujit Kumar Chakrabarti; Y. N. Srikant (ICSEA, 2006)

Test sequence computation for regression testing of reactive systems. - Sujit Kumar Chakrabarti; Y. N. Srikant (ISEC, 2008)

Using spreadsheets for finite state modelling. - Sujit Kumar Chakrabarti; Srihari Sukumaran (ISEC, 2009)

Connectedness testing of RESTful web-services. - Sujit Kumar Chakrabarti; Reswin Rodriquez (ISEC, 2010)

ACT (Abstract to Concrete Tests) - A tool for generating Concrete test cases from Formal Specification of Web Applications. - Khusbu Bubna; Sujit Kumar Chakrabarti (ModSym+SAAAS@ISEC, 2016)

SymTest: A Framework for Symbolic Testing of Embedded Software. - Sujit Kumar Chakrabarti; S. Ramesh 002 (ISEC, 2016)

Designing Software Engineering Courses for Effective Teaching and Learning. - Narasimha Bolloju; Sujit Kumar Chakrabarti (ISEC, 2017)

Handling Backtracking for Symbolic Testing of Embedded Software. - Varsha P. Suresh; Sujit Kumar Chakrabarti; Raoul Jetley; Devina Mohan (ETFA, 2019)

Formalizing GPU Instruction Set Architecture in Coq. - Nitin Bhatia; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ISEC, 2019)

Automated Test Case Generation for Programmable Logic Controller Code. - Varsha P. Suresh; Sujit Chakrabarti; Raoul Jetley (ISEC, 2019)

StaBL - State Based Language for Specification of Web Applications. - Karthika Venkatesan; Sujit Kumar Chakrabarti (CoRR, 2019)

Automated Testing of Refreshable Braille Display. - Shivam Kumar Singh; Sujit Kumar Chakrabarti; Dinesh Babu Jayagopi (HCC, 2020)

StaBL: Statecharts with Local Variables. - Sujit Kumar Chakrabarti; Karthika Venkatesan (ISEC, 2020)

Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation. - Arjun Verma; Prateksha Udhayanan; Rahul Murali Shankar; Nikhila K. N.; Sujit Kumar Chakrabarti (AIMLSystems, 2021)

Discovering multiple design approaches in programming assignment submissions. - Nikhila K. N.; Sujit Kumar Chakrabarti; Manish Gupta (SAC, 2021)

LetGrade: An Automated Grading System for Programming Assignments. - Nikhila K. N.; Sujit Kumar Chakrabarti (AIED (2), 2022)

Static Race Detection for Periodic Programs. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ESOP, 2022)

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. - Varsha P. Suresh; Sujit Kumar Chakrabarti; Athul Suresh; Raoul Jetley (SEKE, 2022)

Automated Application Processing. - Eshita Sharma; Keshav Gupta; Lubaina Machinewala; Samaksh Dhingra; Shrey Tripathi; Shreyas V. S; Sujit Kumar Chakrabarti (CoRR, 2022)

Privacy-Preserving Plagiarism Checking. - Nidhish Bhimrajka; Sujit Chakrabarti; Ashish Choudhury; Supreeth Varadarajan (INDOCRYPT (2), 2023)

ConStaBL - A Fresh Look at Software Engineering with State Machines. - Karthika Venkatesan; Sujit Kumar Chakrabarti (CoRR, 2023)

Static Race Detection for Periodic Real-Time Programs with IPCP Locks. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (The Application of Formal Methods, 2024)

Safeguarding Controller Variables from SEUs using Static Analysis. - Ganesha; Sujit Kumar Chakrabarti (ISEC, 2024)

Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures. - Milan Markovic; Somayajulu Sripada; Sujit Kumar Chakrabarti; Raghuram Bharadwaj Diddigi (SICSA REALLM, 2024)

A fresh look on semantics of Concurrent State Based Language (ConStaBL). - Karthika Venkatesan; Sujit Kumar Chakrabarti (J. Comput. Lang., 2024)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset. - Ganesha; Sujit Kumar Chakrabarti (CoRR, 2025)