plan to explore the use of different equivalence rela-
tions that look into the structure of the programs and
not just the behavior under unit tests.
REFERENCES
Abu Deeb, F., DiLillo, A., and Hickey, T. J. (2018). Using
fine grained programming error data to enhance cs1
pedagogy. In International Conference on Computer
Supported Education.
Abu Deeb, F. and Hickey, T. (2015). Spinoza: The code
tutor. In Proceedings of the International Conference
on Computer and Information Science and Technol-
ogy, Ottawa, Canada.
Abu Deeb, F. and Hickey, T. (2017). Flipping introductory
programming classes using spinoza and agile peda-
gogy. In 2017 IEEE Frontiers in Education Confer-
ence (FIE), pages 1–9. IEEE.
Abu Deeb, F., Kime, K., Torrey, R., and Hickey, T. (2016).
Measuring and visualizing learning with markov mod-
els. In Frontiers in Education Conference (FIE), 2016
IEEE, pages 1–9. IEEE.
Andrei Papancea, Jaime Spacco, D. H. (2013). An open
platform for managing short programming exercises.
Proceedings of the ninth annual international ACM
conference on International computing education re-
search, pages 47–52.
Clarke, D., Clear, T., Fisler, K., Hauswirth, M., Krishna-
murthi, S., Politz, J. G., Tirronen, V., and Wrigstad,
T. (2014). In-flow peer review. In Proceedings of the
Working Group Reports of the 2014 on Innovation &
Technology in Computer Science Education Confer-
ence, pages 59–79. ACM.
Falkner, K. and Falkner, N. J. (2012). Supporting and
structuring “contributing student pedagogy” in com-
puter science curricula. Computer Science Education,
22(4):413–443.
Ferraro, M. (2010). ProveIt math and proof practice.
Freeman, S., Eddy, S. L., McDonough, M., Smith, M. K.,
Okoroafor, N., Jordt, H., and Wenderoth, M. P. (2014).
Active learning increases student performance in sci-
ence, engineering, and mathematics. Proceedings
of the National Academy of Sciences, 111(23):8410–
8415.
Gage, M., Pizer, A., and Roth, V. (2002). Webwork: Gen-
erating, delivering, and checking math homework via
the internet.
Haak, D. C., HilleRisLambers, J., Pitre, E., and Freeman, S.
(2011). Increased structure and active learning reduce
the achievement gap in introductory biology. Science,
332(6034):1213–1216.
Herman, G. L. (2012). Designing contributing student ped-
agogies to promote students’ intrinsic motivation to
learn. Computer Science Education, 22(4):369–388.
Kime, K., Torrey, R., and Hickey, T. (2015). Calctutor:
Applying the teachers dilemma methodology to cal-
culus pedagogy. In Frontiers in Education Conference
(FIE), 2015 IEEE, pages 1–8. IEEE.
Krathwohl, D. R. (2002). A revision of bloom’s taxonomy:
An overview. Theory into practice, 41(4):212–218.
Parlante, N. Codingbat code practice.
Parlante, N. (2007). Nifty reflections. ACM SIGCSE Bul-
letin, 39(2):25–26.
Rath, K. A., Peterfreund, A. R., Xenos, S. P., Bayliss, F.,
and Carnal, N. (2007). Supplemental instruction in in-
troductory biology i: enhancing the performance and
retention of underrepresented minority students. CBE-
Life Sciences Education, 6(3):203–216.
Søndergaard, H. and Mulder, R. A. (2012). Collaborative
learning through formative peer review: pedagogy,
programs and potential. Computer Science Education,
22(4):343–367.
Walvoord, M. E., Hoefnagels, M. H., Gaffin, D. D., Chum-
chal, M. M., and Long, D. A. (2008). An analysis of
calibrated peer review (cpr) in a science lecture class-
room. Journal of College Science Teaching, 37(4):66.
Zingaro, D., Cherenkova, Y., Karpova, O., and Petersen,
A. (2013). Facilitating code-writing in pi classes. In
Proceeding of the 44th ACM Technical Symposium
on Computer Science Education, SIGCSE ’13, pages
585–590, New York, NY, USA. ACM.
Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics
211