Covering All the Bases: Type-Based Verification of Test Input Generators (PLDI'23)

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