Download - Seminar Summary
Transcript
![Page 1: Seminar Summary](https://reader036.vdocuments.us/reader036/viewer/2022072014/56812dd4550346895d931ecb/html5/thumbnails/1.jpg)
Seminar Summary
Mooly Sagiv
![Page 2: Seminar Summary](https://reader036.vdocuments.us/reader036/viewer/2022072014/56812dd4550346895d931ecb/html5/thumbnails/2.jpg)
Goals
• Summarize the seminar
• Get some feedback from the students
![Page 3: Seminar Summary](https://reader036.vdocuments.us/reader036/viewer/2022072014/56812dd4550346895d931ecb/html5/thumbnails/3.jpg)
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)
![Page 4: Seminar Summary](https://reader036.vdocuments.us/reader036/viewer/2022072014/56812dd4550346895d931ecb/html5/thumbnails/4.jpg)
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)
![Page 5: Seminar Summary](https://reader036.vdocuments.us/reader036/viewer/2022072014/56812dd4550346895d931ecb/html5/thumbnails/5.jpg)
Feedback