תאור הקורס
הסמינר יסקור פיתוחים מרכזיים בתחום הניתוח האוטומטי של קוד תוכנה בשלושים השנים האחרונות, בדגש על יישומיהם בכלי פיתוח עכשוויים. הנושאים יכללו: הרצה סימבולית (symbolic execution), אימות בעזרת SAT Modulo Theories, בדיקות בזמן ריצה, בדיקות אוטומטיות, ניתוח קוד multithreaded, ניתוח קוד GPU.
שימושים של טכניקות אלה משפרות יכולות debugging ואימות אוטומטי של תכניות מחשב, במטרה להוביל למערכות מחשב יציבות, אמינות, ויעילות יותר.
דרישות הקורס
נוכחות חובה
קריאה והצגה של 2-1 מאמרים אקדמיים
ניהול דיון שאלות ותשובות בנושא שהוצג
קישור לרשימת מאמרים:
https://docs.google.com/spreadsheets/d/1pwRxHrbFxxeuWGAaejI3_5gKFUOj2dTfuRiMq4cLedU/edit?usp=sharing