Add to ORKGMaster's thesis in Computer scienceAutograder is a tool developed at the University of Stavanger that provides immediate feedback on programming assignments. The assignments are correctly automatically based on test cases written manually by the teacher. Writing tests manually is a tedious and time-consuming task that typically accounts for around 50% in the development of a modern application. In this thesis we present a simple prototype of a tool named AutoTest; a static test generation tool for Go. The long-term ob- jective of the project is to be able to automatically generate tests for typical assignments given on Autograder. The prototype combines techniques from static symbolic execution with constraint solving and a path exploratio...