Specification-Based Testing in Software Engineering Courses.

Gene Fisher, Corrigan Johnson

Browse the full SIGCSE paper archive.