2 ms·API-Driven Program Synthesis for Testing Static Typing Implementations35 points by luu 3y agotempodox 3y agoExisting applications seem to be for JVM languages only, but this might be interesting for other languages, too.