AUTOMATIC GRADING, WHITE BOX AUTOGRADER, SYMBOLIC EXECUTION, CONCOLIC EXECUTION, PATH CONSTRAINT, WEB SERVICE
In programming lessons, automatic grading is used by educators to speed up the grading of students' programming assignments. In general, automated grading systems use a black box testing approach, in which a set of test cases is used as inputs, and the outputs of the student program are comp...
Saved in:
Main Author: | Sudyanto, Morgen |
---|---|
Format: | Final Project |
Language: | Indonesia |
Online Access: | https://digilib.itb.ac.id/gdl/view/67186 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Institut Teknologi Bandung |
Language: | Indonesia |
Similar Items
-
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
by: Shiqi, Shen, et al.
Published: (2019) -
STRUCTURAL WHITE BOX AUTOGRADER USING CONTROL FLOW GRAPH SIMILARITY
by: Kamal Shafi, Muhammad -
Automatic execution of semantic web service
by: Chen, Jiadong.
Published: (2011) -
Type and interval aware array constraint solving for symbolic execution
by: SHUAI, Ziqi, et al.
Published: (2021) -
Partial solution based constraint solving cache in symbolic execution
by: SHUAI, Ziqi, et al.
Published: (2024)