We introduce a novel approach for testing static typing implementations based on the
concept of API-driven program synthesis. The idea is to synthesize type-intensive but small …