Search papers, labs, and topics across Lattice.
University of Illinois at Urbana-Champaign
1
0
3
14
LLMs can generate surprisingly effective C unit tests when guided by program structure and constraints, achieving coverage comparable to symbolic execution while producing more readable code.
