Sujit Kumar Chakrabarti

According to our database, Sujit Kumar Chakrabarti authored at least 23 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A fresh look on semantics of Concurrent State Based Language (ConStaBL).

Karthika Venkatesan, Sujit Kumar Chakrabarti

J. Comput. Lang., 2024

Safeguarding Controller Variables from SEUs using Static Analysis.

Ganesha, Sujit Kumar Chakrabarti

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

ConStaBL - A Fresh Look at Software Engineering with State Machines.

Karthika Venkatesan, Sujit Kumar Chakrabarti

CoRR, 2023

Privacy-Preserving Plagiarism Checking.

Nidhish Bhimrajka, Sujit Chakrabarti, Ashish Choudhury, Supreeth Varadarajan

Proceedings of the Progress in Cryptology - INDOCRYPT 2023, 2023

2022

Automated Application Processing.

Eshita Sharma, Keshav Gupta, Lubaina Machinewala, Samaksh Dhingra, Shrey Tripathi, Shreyas V. S, Sujit Kumar Chakrabarti

CoRR, 2022

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Static Race Detection for Periodic Programs.

Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the Programming Languages and Systems, 2022

LetGrade: An Automated Grading System for Programming Assignments.

Nikhila K. N., Sujit Kumar Chakrabarti

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners' and Doctoral Consortium, 2022

2021

Discovering multiple design approaches in programming assignment submissions.

Nikhila K. N., Sujit Kumar Chakrabarti, Manish Gupta

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation.

Arjun Verma, Prateksha Udhayanan, Rahul Murali Shankar, Nikhila K. N., Sujit Kumar Chakrabarti

Proceedings of the AIMLSystems 2021: The First International Conference on AI-ML-Systems, Bangalore India, October 21, 2021

2020

StaBL: Statecharts with Local Variables.

Sujit Kumar Chakrabarti, Karthika Venkatesan

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

Automated Testing of Refreshable Braille Display.

Shivam Kumar Singh, Sujit Kumar Chakrabarti, Dinesh Babu Jayagopi

Proceedings of the Human-Centric Computing in a Data-Driven Society, 2020

2019

StaBL - State Based Language for Specification of Web Applications.

Karthika Venkatesan, Sujit Kumar Chakrabarti

CoRR, 2019

Automated Test Case Generation for Programmable Logic Controller Code.

Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Formalizing GPU Instruction Set Architecture in Coq.

Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Handling Backtracking for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017

Designing Software Engineering Courses for Effective Teaching and Learning.

Narasimha Bolloju, Sujit Kumar Chakrabarti

Proceedings of the 10th Innovations in Software Engineering Conference, 2017

2016

SymTest: A Framework for Symbolic Testing of Embedded Software.

Sujit Kumar Chakrabarti, S. Ramesh

Proceedings of the 9th India Software Engineering Conference, 2016

ACT (Abstract to Concrete Tests) - A tool for generating Concrete test cases from Formal Specification of Web Applications.

Khusbu Bubna, Sujit Kumar Chakrabarti

Proceedings of the Joint Proceedings of the 2nd Modelling Symposium (ModSym) and the Workshop on Software Architectures for Adaptive Autonomous Systems (SAAAS) co-located with the 9th India Software Engineering Conference (ISEC 2016), 2016

2010

Connectedness testing of RESTful web-services.

Sujit Kumar Chakrabarti, Reswin Rodriquez

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Using spreadsheets for finite state modelling.

Sujit Kumar Chakrabarti, Srihari Sukumaran

Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

2008

Test sequence computation for regression testing of reactive systems.

Sujit Kumar Chakrabarti, Y. N. Srikant

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2006

Specification Based Regression Testing Using Explicit State Space Enumeration.

Sujit Kumar Chakrabarti, Y. N. Srikant

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006