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