( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SymTest: A Framework for Symbolic Testing of Embedded Software.

, и . ISEC, стр. 48-58. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sujit Kumar Dora

Sudhir Kumar Chakrabarti

Ranjan Kumar Chakrabarti

Sujit Majumder

Chaitali Chakrabarti

 

Другие публикации лиц с тем же именем

Formalizing GPU Instruction Set Architecture in Coq., , и . ISEC, стр. 28:1-28:5. ACM, (2019)Using spreadsheets for finite state modelling., и . ISEC, стр. 27-36. ACM, (2009)Test sequence computation for regression testing of reactive systems., и . ISEC, стр. 131-132. ACM, (2008)Discovering multiple design approaches in programming assignment submissions., , и . SAC, стр. 1841-1845. ACM, (2021)WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software., , , и . SEKE, стр. 172-177. KSI Research Inc., (2022)Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation., , , , и . AIMLSystems, стр. 8:1-8:7. ACM, (2021)Automated Testing of Refreshable Braille Display., , и . HCC, том 590 из IFIP Advances in Information and Communication Technology, стр. 181-192. Springer, (2020)A fresh look on semantics of Concurrent State Based Language (ConStaBL)., и . J. Comput. Lang., (2024)LetGrade: An Automated Grading System for Programming Assignments., и . AIED (2), том 13356 из Lecture Notes in Computer Science, стр. 383-386. Springer, (2022)Designing Software Engineering Courses for Effective Teaching and Learning., и . ISEC, стр. 220. ACM, (2017)