Sujit Kumar Chakrabarti

Orcid: 0000-0001-8422-2900

Affiliations:
  • International Institute of Information Technology, Bangalore, India


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Safeguarding Controller Variables from SEUs using Static Analysis.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024

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

2022
Automated Application Processing.
CoRR, 2022

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Static Race Detection for Periodic Programs.
Proceedings of the Programming Languages and Systems, 2022

LetGrade: An Automated Grading System for Programming Assignments.
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.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation.
Proceedings of the AIMLSystems 2021: The First International Conference on AI-ML-Systems, Bangalore India, October 21, 2021

2020
StaBL: Statecharts with Local Variables.
Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

Automated Testing of Refreshable Braille Display.
Proceedings of the Human-Centric Computing in a Data-Driven Society, 2020

2019
StaBL - State Based Language for Specification of Web Applications.
CoRR, 2019

Automated Test Case Generation for Programmable Logic Controller Code.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Formalizing GPU Instruction Set Architecture in Coq.
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.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017
Designing Software Engineering Courses for Effective Teaching and Learning.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

2016
SymTest: A Framework for Symbolic Testing of Embedded Software.
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.
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.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009
Using spreadsheets for finite state modelling.
Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

2008
Test sequence computation for regression testing of reactive systems.
Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2006
Specification Based Regression Testing Using Explicit State Space Enumeration.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006


  Loading...