10:51 · Jun 10, 2023 · Sat
Covering All the Bases: Type-Based Verification of Test Input Generators (PLDI'23)

https://arxiv.org/abs/2304.03393
 
 
Back to Top