Gene Fisher, Corrigan Johnson. Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation. In Alison Clear, Ernesto Cuadros-Vargas, Janet Carter, Yvan Tupac, editors, Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016. pages 224-229, ACM, 2016. [doi]
Abstract is missing.