Using hypersafety verification for proving correctness of programming assignments.

Jude K. Anil Sumanth Prabhu S Kumar Madhukar R. Venkatesh

Published in: ICSE (NIER) (2020)

Keyphrases

programming assignments
automatic assessment
programming course
success or failure
model checking
grounded theory
introductory programming
students learning