Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation.

Gene Fisher, Corrigan Johnson

Browse the full ITiCSE paper archive.