Seminar Summary

Mooly Sagiv

Goals

• Summarize the seminar

• Get some feedback from the students

Subjects Presented• Negative Results (Sharon)• Testing with specification (Ori, Ofer)• Testing buffer overrun (Alex, Ilya)• Recording events- Bug trapper (Dimitry)• Generating test cases (Ety)• Mutation testing (Oran, Nir)• Code coverage (Nir, Shmuel Or)• Self correcting programs (Dan)• Code complexity (Eran)• Testing process (Shmuel Or, Mooly)

Uncovered• Regression testing• Design for test• Related software tools

– Testing graphical software– Code slicing– Profiling– Proof carrying code– Build tools

• Famous bugs• Using AI techniques• Domain specific languages (DSL)

Feedback