Search papers, labs, and topics across Lattice.
Bangladesh University of Engineering and Technology
1
0
3
0
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.
