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: this course is developed with reference to the following materials.
- 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).

Grading

4 Homework Assignments: 80%
- Each assignment is worth 20%.
- Please submit your homework on the LMS.
Attendance: 20%
- Please use the LMS to attend the class with the code provided.
- All or nothing: you get the full 20% if you attend at least 2/3 of the checks, and 0% otherwise.
- There is no attendance check in the first week; it starts on September 7.

No Lectures

No lectures on October 5 (national holiday) and October 7 (business trip); the homework assignments take the place of these class hours.

Recorded Lectures

Lecture 9 (October 12) and Lecture 10 (October 14) are delivered as recorded lectures (business trip). Watch them on the LMS; attendance is credited in full for both.

Schedule

#	Date	Title	Homework
0	09/02	Introduction
1	09/07	Input Space Modeling
2	09/09	Random Testing and Fuzzing
3	09/14	Coverage Criteria	hw01 (by 09/21)
4	09/16	Search Based Software Testing (SBST)
5	09/21	Dynamic Symbolic Execution (DSE)	hw02 (by 09/28)
6	09/23	Regression Testing
7	09/28	Mutation Testing	hw03 (by 10/05)
8	09/30	Testing Oracles
9	10/12	Fault Localization (recorded)	hw04 (by 10/19)
10	10/14	Automated Program Repair (recorded)
11	10/19	LLM-based Software Testing
12	10/21	Course Review