3 ms·
You might find Perelman et al's "Test-Driven Synthesis" paper interesting, it also cites that post as inspiration. http://homes.cs.washington.edu/~djg/papers/t
by hcs 10y ago
You might find Perelman et al's "Test-Driven Synthesis" paper interesting, it also cites that post as inspiration.
http://homes.cs.washington.edu/~djg/papers/tds-pldi2014.pdf http://homes.cs.washington.edu/~djg/papers/tds-pldi2014.pdf