Practical programming competencies are critical to the success in computer science (CS)
education and go-to-market of fresh graduates. Acquiring the required level of skills is a long …

Software testing techniques are crucial for detecting faults in software and reducing the risk
of using it. As such, it is important that we have a good understanding of how to evaluate …

We present check50, an open-source, extensible tool for assessing the correctness of
students' code that provides a simple, functional framework for writing checks as well as an …

As computer science enrollments continue to surge, exam grading requires significant
instructional resources. Online grading platforms have been developed in recent years and …

Automated grading allows for the scalable assessment of large programming courses, often
using test cases to determine the correctness of students' programs. However, test suites …

Practical programming competencies are critical to success in computer science education
and the go-to-market of fresh graduates. Mastering these skills at the required level involves …

Automated grading is now prevalent in software engineering courses, typically assessing
the correctness of students' programs using automated test suites. However, deficiencies in …

Practical programming competencies are critical to the success in computer science (CS)
education and goto-market of fresh graduates. Acquiring the required level of skills is a long …

Bounded-exhaustive test case generators are important bug-finding tools, epitomized with
tools like Korat, UDITA, and SciFe. All such tools are practically limited by scale; a given …

A common problem in automated software testing is the need to generate many inputs with
complex structure in a black-box fashion. For example, a library for manipulating red-black …