Polymorphic Coverage Types

Zhe Zhou, Ashish Mishra, Benjamin Delaware +1

Test input generators are an important part of property-based testing (PBT) frameworks, and a key expectation is that they be capable of producing all acceptable elements that sati…