Y Liu, A Thimmaiah, O Legunsen… - The ACM International …, 2024 - sweetstreet.github.io
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 …