Skip to content

AICODEAgentic Programming · 67723 · 2026-7

Weeks Syllabus Lab schedule Course staff Notices Moodle

Week 5 · video 3 of 8

Testing GUIs and the Logic Behind Them

11:40subtitles: English, עברית, العربيةSlides (PDF)Transcript

←Previous videoTesting: Kinds of Tests, and Having the Agent Write Them Next videoFrom Stories to Tests→

Week 5 videos

01Formal Tools and Fuzzy Tools11:04 02Testing: Kinds of Tests, and Having the Agent Write Them13:3203Testing GUIs and the Logic Behind Them11:4004From Stories to Tests9:20 05What Tests Cost, and Which Ones to Keep14:50 06Type Checking9:47 07Linters & Formatters7:07 08Writing CLAUDE.md4:13

Feedback on the course? Tell us what works and what doesn't: aicode@cs.huji.ac.il

Agentic Programming · AICODE 67723 · 2026-7

Lab times and room — shnaton 67723

School of Computer Science & Engineering, Hebrew University of Jerusalem

Prof. Aviv Zohar