Community User
Displaying 1 to 8 of 8 repositories
An image for Thalia: "API-driven Program Synthesis for Testing Static Typing Implementations"
3y
261
An image used in the artifact of paper "Finding Typing Compiler Bugs".
4y
246
An image for "Cynthia: Data-Oriented Differential Testing of Object-Relational Mapping Systems"
5y
373