Gene Fisher, Corrigan Johnson. Specification-Based Testing in Software Engineering Courses. In Tiffany Barnes, Daniel D. Garcia, Elizabeth K. Hawthorne, Manuel A. Pérez-Quiñones, editors, Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018, Baltimore, MD, USA, February 21-24, 2018. pages 800-805, ACM, 2018. [doi]
Abstract is missing.