Sujit Kumar Chakrabarti

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Similarity Measurement

Embedded Software

Liquid Crystal Displays

Top Venues

J. Comput. Lang.

Publications

Karthika Venkatesan, Sujit Kumar Chakrabarti
A fresh look on semantics of Concurrent State Based Language (ConStaBL). J. Comput. Lang. 79 (2024)
Ganesha, Sujit Kumar Chakrabarti
Safeguarding Controller Variables from SEUs using Static Analysis. ISEC (2024)
Karthika Venkatesan, Sujit Kumar Chakrabarti
ConStaBL - A Fresh Look at Software Engineering with State Machines. CoRR (2023)
Eshita Sharma, Keshav Gupta, Lubaina Machinewala, Samaksh Dhingra, Shrey Tripathi, Shreyas V. S, Sujit Kumar Chakrabarti
Automated Application Processing. CoRR (2022)
Nikhila K. N., Sujit Kumar Chakrabarti
LetGrade: An Automated Grading System for Programming Assignments. AIED (2) (2022)
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Static Race Detection for Periodic Programs. ESOP (2022)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. SEKE (2022)
Nikhila K. N., Sujit Kumar Chakrabarti, Manish Gupta
Discovering multiple design approaches in programming assignment submissions. SAC (2021)
Nikhila K. N., Sujit Kumar Chakrabarti, Manish Gupta
Discovering Multiple Design Approaches in Programming Assignment Submissions. CoRR (2021)
Arjun Verma, Prateksha Udhayanan, Rahul Murali Shankar, Nikhila K. N., Sujit Kumar Chakrabarti
Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation. AIMLSystems (2021)
Shivam Kumar Singh, Sujit Kumar Chakrabarti, Dinesh Babu Jayagopi
Automated Testing of Refreshable Braille Display. HCC (2020)
Sujit Kumar Chakrabarti, Karthika Venkatesan
StaBL: Statecharts with Local Variables. ISEC (2020)
Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Formalizing GPU Instruction Set Architecture in Coq. ISEC (2019)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan
Handling Backtracking for Symbolic Testing of Embedded Software. ETFA (2019)
Karthika Venkatesan, Sujit Kumar Chakrabarti
StaBL - State Based Language for Specification of Web Applications. CoRR (2019)
Narasimha Bolloju, Sujit Kumar Chakrabarti
Designing Software Engineering Courses for Effective Teaching and Learning. ISEC (2017)
Khusbu Bubna, Sujit Kumar Chakrabarti
ACT (Abstract to Concrete Tests) - A tool for generating Concrete test cases from Formal Specification of Web Applications. ModSym+SAAAS@ISEC (2016)
Sujit Kumar Chakrabarti, S. Ramesh
SymTest: A Framework for Symbolic Testing of Embedded Software. ISEC (2016)
Sujit Kumar Chakrabarti, Reswin Rodriquez
Connectedness testing of RESTful web-services. ISEC (2010)
Sujit Kumar Chakrabarti, Srihari Sukumaran
Using spreadsheets for finite state modelling. ISEC (2009)
Sujit Kumar Chakrabarti, Y. N. Srikant
Test sequence computation for regression testing of reactive systems. ISEC (2008)
Sujit Kumar Chakrabarti, Y. N. Srikant
Specification Based Regression Testing Using Explicit State Space Enumeration. ICSEA (2006)