Automated correctness testing for CS331-Algorithms and Complexity