AAA705: Software Testing and Quality Assurance, 2026 Fall
The primary goal of this course is to learn automated techniques for software testing: how to generate tests, measure their quality, and use them to locate faults.
Course Information
- Instructor: Jihyeok Park (박지혁)
- Office: 507, IT & General Education Center (정운오IT교양관)
- Email: jihyeok_park@korea.ac.kr
- Lecture: 09:00–12:00 Mondays and Wednesdays @ 304, Aegineung (애기능생활관)
- Office hours: By appointment via e-mail
Course Materials
- Self-contained lecture notes are provided.
- References:
- Introduction to Software Testing (2nd Ed.) by Paul Ammann and Jeff Offutt.
- Why Programs Fail (2nd Ed.) by Andreas Zeller.
- CS453: Automated Software Testing by Shin Yoo (KAIST) – lecture slides on closely related topics.
Grading
- 4 Homework Assignments: 80%
- Each assignment is worth 20%.
- Attendance: 20%
Lectures without Offline Classes
There will be no offline lectures on the days listed below. The four homework assignments take the place of these class hours.
- October 5 (Mon.) – National Foundation Day (substitute holiday)
- October 7 (Wed.) / 12 (Mon.) / 14 (Wed.) – Business trip
Schedule
| # | Date | Title | Homework | |
|---|---|---|---|---|
| 0 | 09/02 | Introduction | ||
| 1 | 09/07 | Combinatorial Testing | ||
| 2 | 09/09 | Random Testing | ||
| 3 | 09/14 | Coverage Criteria | hw01 (by 09/28) | |
| 4 | 09/16 | Search Based Software Testing (SBST) | ||
| 5 | 09/21 | Dynamic Symbolic Execution (DSE) | hw02 (by 10/05) | |
| 6 | 09/23 | Mutation Testing | ||
| 7 | 09/28 | Regression Testing | hw03 (by 10/12) | |
| 8 | 09/30 | Fault Localization | ||
| 9 | 10/19 | Testing Oracles | hw04 (by 11/02) | |
| 10 | 10/21 | Course Review |