Guaranteed refactors: generating tests from types

by Kofi Gumbs ·