50 likes | 129 Views
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)
E N D
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)