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 | Size | Format | |
---|---|---|---|---|
NB16296_Abstract.pdf | 40.77 kB | Adobe PDF | View/Open | |
NB16296_Thesis.pdf Restricted Access | 3.16 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.