Skip to content

AICODEAgentic Programming · 67723 · 2026-7

Weeks Syllabus Lab schedule Course staff Notices Moodle

Week 5 · video 1 of 8

Formal Tools and Fuzzy Tools

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

←Back to week 5 Next videoTesting: Kinds of Tests, and Having the Agent Write Them→

Week 5 videos

01Formal Tools and Fuzzy Tools11:0402Testing: Kinds of Tests, and Having the Agent Write Them13:32 03Testing GUIs and the Logic Behind Them11:40 04From 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