---
# System prepended metadata

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

---

---
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)
    
    
    