Cited By
View all- Perretta JDeOrio AGuha ABell JStone JYuen TShoop LRebelsky SPrather J(2025)Instructor-Written Hints as Automated Test Suite Quality FeedbackProceedings of the 56th ACM Technical Symposium on Computer Science Education V. 110.1145/3641554.3701866(910-916)Online publication date: 12-Feb-2025
- Rocha HCosta ETenório GNascimento MNascimento MLins D(2024)Narrativas Contextualizadas na Definição de Problemas de Programação: Uma Revisão da LiteraturaAnais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024)10.5753/sbie.2024.242489(2391-2402)Online publication date: 4-Nov-2024
- Nelson TGreenman BPrasad SDyer TBove EChen QCutting CDel Vecchio TLeVine SRudner JRyjikov BVarga AWagner AWest LKrishnamurthi S(2024)Forge: A Tool and Language for Teaching Formal MethodsProceedings of the ACM on Programming Languages10.1145/36498338:OOPSLA1(613-641)Online publication date: 29-Apr-2024
- Show More Cited By