We recently proposed inline tests for validating individual program statements; they allow
developers to provide test inputs, expected outputs, and test oracles immediately after a …

Partial code execution is the problem of executing code with missing definitions. The
problem has gained recent traction as solutions to the problem could enable various …

Software testing and verification are essential for keeping software systems reliable and safe
to use. However, it requires significant manual effort to write and maintain code artifacts …

We present ExLi, a tool for automatically generating inline tests, which were recently
proposed for statement-level code validation. ExLi is the first tool to support retrofitting inline …