Sujit Kumar Chakrabarti

Nikhila KN, Sujit Kumar Chakrabarti, Manish Gupta

In this paper, we present a novel approach of automated evaluation of programming assignments~(AEPA) the highlight of which is that it automatically identifies multiple solution approaches to the programming question from the set of submitted solutions. Our approach does not require the instructor to foresee all the possible solution approaches and accomplishes this task with little or no human intervention. This paves the way to multiple fundamental improvements in the way automated evaluation of programming assignments is done today. We have applied our method on multiple data sets of practical scale. In all cases, our method was able to detect the solution approaches employed by the students.

Karthika Venkatesan, Sujit Kumar Chakrabarti

Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following features: Firstly, it should have well-defined semantics, so that specifications written in it can not be inherently ambiguous. Secondly, it should have tool support for automatic detection of specification bugs. Additionally, for domains like web development, it is important that specification formalisms build over familiar notations, as the benefits of learning highly mathematical notations in such domains are perceived to be low. Principal ideas/results: This work presents a State Based Language inspired by Statecharts called StaBL for specification of web applications, and how StaBL can be used for writing such specifications. We also present modifications to the language w.r.t Statechart which facilitate writing modular and scalable specification. Contribution: In particular, we present the feature of locally scoped variables with inter-state data-flow. We summarise our experience of developing specifications with StaBL, which shows that StaBL specifications, on the one hand, are able to capture most essential elements of the functional aspects of a web application while foregoing much of the verbosity of a regular programming language.