---
title: 'Spring 2021 CSE709: Software Engineering Seminar'
tags: cse709 schedule
---

# Spring'21 CSE709: Software Engineering Seminar

## Schedule

[TOC]

## Week 1: Fri, 02/05
* Topics
* Logistics
* Paper List
* SE Introduction
* **Lecture Videos / Slides**
[0205-slides-and-recording](https://buffalo.box.com/s/uoq2mfsfaytzgcds0ix8oq2uiyb1jz4y)

## Week 2: Fri, 02/12
* Topics
* Static Program Representation
* **Lecture Videos / Slides**
[0212-slides-and-recording](https://buffalo.box.com/s/dsqvx3jw6drkionfs8ct2t83sfyj6zgj)

## Week 3: Fri, 02/19
* Topics
* Dynamic Program Representation
* Program Tracing, Program Slicing
* Presentation Schedule
* **Lecture Videos / Slides**
[0219-slides-and-recording](https://buffalo.box.com/s/4uh9vg14cfo4yntg1or8ujivarxaqdgf)

## Week 4: Fri, 02/26
* Topics
* Software Model Checking [11],[12]
* Presenter: Anjali Bachani
* **Presentation Videos / Slides**
[0226-slides-and-recording](https://buffalo.box.com/s/rgtlw7t6asmw8p4bbi1k7vzgxcoaoy9x)

## Week 5: Fri, 03/05
* Topics
* Symbolic Execution [13],[14]
* Presenter: Sonal Shukla
* **Lecture Videos / Slides**
[0305-slides-and-recording](https://buffalo.box.com/s/290bzghdepmlwg96ea7z1hopcthicft3)

## Week 6: Fri, 03/12
* Topics
* Fuzzing [15],[16]
* Presenter: Saurabh Wanivadekar
* **Lecture Videos / Slides**
[0312-slides-and-recording](https://buffalo.box.com/s/ws1w4ulspxapsgw5qhgmgtafz61ggalw)

## Week 7: Fri, 03/19
* Topics
* Test Generation [17],[18]
* Presenter: Yonghui Lin
* **Lecture Videos / Slides**
[0319-slides-and-recording](https://buffalo.box.com/s/lzhlf2b2qoodzhskcjvfpociyrf0527e)

## Week 8: Fri, 03/26
* Topics
* Concolic Testing [19], Regression Testing [20]
* Presenter: Rohit
* **Lecture Videos / Slides**
[0326-slides-and-recording](https://buffalo.box.com/s/spgonr6d5s5p62ubgo24m7cunq73hgts)

## Week 9: Fri, 04/02
* Topics
* Regression Testing [21], Mutation Testing [22]
* Presenter: Maojie Xue
* **Lecture Videos / Slides**
[0402-slides-and-recording](https://buffalo.box.com/s/dxdzlhimp7kc3jrk54rj0vy7s6o1jw3b)

## Week 10: Fri, 04/09 (No class meeting)
* Topics
* Derived Test Oracles [23], Fault Localization [24]
* Presenter: Xinyue Liu
* **Lecture Videos / Slides**
[0409-slides-and-recording](https://buffalo.box.com/s/y7rnbhbuxap2mhcqyui868gh1r44kfn0)

## Week 11: Fri, 04/16 (No class meeting)
* Topics
* Static Program Analysis
* **Lecture Videos / Slides**
[0416-slides-and-recording](https://buffalo.box.com/s/jp8u7l15l6xze6fxlkb53ph8e6l8q4k2)

## Week 12: Fri, 04/23 (No class meeting)
* Topics
* Information Flow Tracking
* **Lecture Videos / Slides**
[0423-slides-and-recording](https://buffalo.box.com/s/gl4i1wyitasyyfvud5npst9nomgry7vb)

## Week 13: Fri, 04/30 (No class meeting)
* Topics
* Constraint Solver
* **Lecture Videos / Slides**
[0430-slides-and-recording](https://buffalo.box.com/s/ookikaurbtwo77gm3wvrbbgnejogutrl)