1. Symbolic Execution Tools for Software Testing
0368–3397
Semester A. Sunday, 09:00-11:00. Orenstein 102
Noam Rinetzky
Schreiber 123A

2. Requirements You are required to be present in every lesson
unless coordinated ahead with the lecturer
Meet me before lecture
Sunday , Schreiber 123A

3. Requirements
Give a minutes talk about his or hers assigned topic.
Answer students questions during the talk.
Say something original
Lead a discussion a summary discussion.
Write a short (1 page) summary
Participate in the discussions

4. Grades 70% Presentation 7% Original insight 10% Participation
13% Attendance

5. Conclusions What was done Why is it important Novel idea
What we learned

6. Your own conclusion
Surprise me