AAA705: Software Testing and Quality Assurance, 2024 Spring
Course Information
- Instructor: Jihyeok Park (박지혁)
- Office: 609A, Science Library Bldg (과학도서관)
- Email: jihyeok_park@korea.ac.kr
- Lecture: 15:00–17:45 Mondays and Wednesdays @ 107, International Center for Converging Technology (미래융합기술관)
- Office hours: 14:00–16:00 Tuesdays (by appointment)
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.
Schedule
| # | Date | Title | PDF (handout) | Homework |
|---|---|---|---|---|
| 0 | 03/04 | Introduction | ||
| 1 | 03/06 | Combinatorial Testing | ||
| 2 | 03/11 | Random Testing | ||
| 3 | 03/13 | Coverage Criteria | ||
| 4 | 03/18 | Coverage Criteria (Homework) | hw01 (due: 03/25) | |
| 5 | 03/20 | Search Based Software Testing (SBST) | ||
| 6 | 03/25 | Dynamic Symbolic Execution (DSE) | ||
| 7 | 03/27 | Mutation Testing | ||
| 8 | 04/01 | Mutation Testing (Homework) | hw02 (due: 04/15) | |
| 9 | 04/03 | Regression Testing | ||
| 10 | 04/08 | Fault Localization | ||
| 11 | 04/15 | Testing Oracles | ||
| 12 | 04/17 | Course Review | project (due: 05/20) | |
| 13 | 05/20 | Project Presentation | ||
| 14 | 05/22 | Project Presentation |