News

  • No class on 5/15 (the anniversary of the university’s founding) and 5/29 (national holiday)
  • This is a regular offline course; see “Time & Location” below.

Basic Information

  • Instructor: Woosuk Lee
    • Office Location: Rm#403, Eng. Bldg 3
    • Telephone: 031-400-1031
    • Email: woosuk at hanyang.ac.kr
    • Office Hours: Monday 10:00 - 12:00
  • Time & Location
    • Monday 15:00 - 17:30 @ Y301-0406, 1st Eng. Bldg

References

Student presentation

  • link is available at the HY-LMS

Contents

  • Introduction to Program Analysis
  • Introduction to Software Testing
  • Random Testing
  • Automated Test Generation
  • Dataflow Analysis
  • Pointer Analysis
  • Datalog Analysis
  • Type Systems
  • Delta Debugging
  • Dynamic Symbolic Execution

Grading

  • Student presentation: 80%
  • Attendance: 20%

Reating Material

Reading material related to the lesson