Presentation is loading. Please wait.

Presentation is loading. Please wait.

Symbolic Execution Tools for Software Testing

Similar presentations


Presentation on theme: "Symbolic Execution Tools for Software Testing"— Presentation transcript:

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


Download ppt "Symbolic Execution Tools for Software Testing"

Similar presentations


Ads by Google