Motivation.“Adversarial thinking”(at) is viewed as a central idea in cybersecurity. We believe
a similar idea carries over into other critical areas as well, such as understanding the perils …

Background and Context. Students' programming projects are often assessed on the basis
of their tests as well as their implementations, most commonly using test adequacy criteria …

Explain in Plain English (EiPE) questions evaluate whether students can understand and
explain the high-level purpose of code. We conducted a qualitative think-aloud study of …

Property-based testing (PBT) is a testing methodology where users write executable formal
specifications of software components and an automated harness checks these …

Context: This work is based on property-based testing (PBT). PBT is an increasingly
important form of software testing. Furthermore, it serves as a concrete gateway into the …

Context: Students often misunderstand programming problem descriptions. This can lead
them to solve the wrong problem, which creates frustration, obstructs learning, and imperils …

We conclude with an agenda for further deepening understanding of the pitfalls and
potentials of PBT in industry. We offer a brief overview of research activities we plan to …

We report our experience in enhancing automated grading in a functional programming
course using formal verification. In our approach, we deploy a verifier for Scala programs to …

A system is the computer system (hardware or software) that we are interested in. All terms
below are relative to this system. Note also that “statetransition system” in the definition of a …