Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Purdue University
1
0
3
2
Synthesized test generators, guided by underapproximate type specifications, can outperform default testing strategies and rival handwritten solutions for effectful black-box systems.