Auto-graded Scaffolding Exercises For Theoretical Computer Science-Reference-Cited by-同舟云学术

Auto-graded Scaffolding Exercises For Theoretical Computer Science

Published: Issue: Volume: Page:
ISSN:
Container-title:2023 ASEE Annual Conference & Exposition Proceedings
language:
Short-container-title:

Author:

Erickson Jeff¹,Xia Jason²,Robson Eliot,Do Tue,Glickman Aidan,Jia Zhuofan,Jin Eric,Lee Jiwon,Lin Patrick,Pan Steven,Ruggerio Samuel,Sakurayama Tomoko³,Yin Andrew,Gertner Yael³,Solomon Brad³

Affiliation:

1. University of Illinois Urbana-Champaign

2. University of Illinois at Urbana - Champaign

3. University of Illinois, Urbana-Champaign

Publisher

ASEE Conferences

Reference28 articles.

1. I. Beza ́kova ́, K. Fluet, E. Hemaspaandra, H. Miller, and D. E. Narva ́ez, “Witness feedback for introductory CS theory assignments,” in Proc. 52nd ACM Technical Symposium on Computer Science Education (SIGCSE), 2021, p. 1300.

2. C. Chekuri et al., “CS/ECE 374: Algorithms & Models of Computation,” University of Illinois Urbana-Champaign, Spring 2023. [Online]. Available: https://courses.engr.illinois.edu/cs374al1/sp2023/

3. L. D’Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, and M. Weininger, “Automata tutor v3,” in Proc. 32nd International Conference on Computer Aided Verification (CAV), ser. Lecture Notes in Computer Science, no. 12225. Springer, 2020, pp. 3–14.

4. L. D’Antoni, D. Kini, R. Alur, S. Gulwani, M. Viswanathan, and B. Hartmann, “How can automatic feedback help students construct automata?” ACM Trans. Comput.-Hum. Interact., vol. 22, no. 2, pp. 9:1–9:24, 2015.

5. E. L. Deci, H. Eghrari, B. C. Patrick, and D. R. Leone, “Facilitating internalization: The self determination theory perspective,” Journal of Personality, vol. 62, pp. 119–142, 1994.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FSM Builder: A Tool for Writing Autograded Finite Automata Questions;Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1;2024-07-03