Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/10471
Title: Application of Equivalence Checking for Evaluation of Students’ Programming Assignments
Authors: Sharma, Kaushal Kishore
Keywords: Equivalence checker
Containment checking
Cut-point
Last correct state
Corresponding state of last correct state
Issue Date: Feb-2019
Publisher: IIT Kharagpur
Gov't Doc #: NB16296
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/10471
Appears in Collections:Application of Equivalence Checking for Evaluation of Students’ Programming Assignments

Files in This Item:
File Description SizeFormat 
NB16296_Abstract.pdf40.77 kBAdobe PDFView/Open
NB16296_Thesis.pdf
  Restricted Access
3.16 MBAdobe PDFView/Open Request a copy


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.