Skip to content

AICODEAgentic Programming · 67723 · 2026-7

Weeks Syllabus Lab schedule Course staff Notices Moodle

Week 5 · video 5 of 8

What Tests Cost, and Which Ones to Keep

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

←Previous videoFrom Stories to Tests Next videoType Checking→

Week 5 videos

01Formal Tools and Fuzzy Tools11:04 02Testing: Kinds of Tests, and Having the Agent Write Them13:32 03Testing GUIs and the Logic Behind Them11:40 04From Stories to Tests9:2005What Tests Cost, and Which Ones to Keep14:5006Type 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