seminar summary
Post on 31-Dec-2015
19 Views
Preview:
DESCRIPTION
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) - PowerPoint PPT Presentation
TRANSCRIPT
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
top related