WARNING: PRELIMINARY INFORMATION (SUBJECT TO CHANGE)#
NB! Please join Ed Discussion Forum for our course related discussions
NB! Each week starts with a 2 hour lecture on Monday followed by your assigned 1 hour tutorial during the week. Tutorials start in the 2nd week, so you need to sign up for one by the end of the 1st week.
NB! Please be informed that the lecture slides for the 2026 course will be updated every week prior to the lecture. Make sure to check this page for the latest version of the slides before each class.
Lecture Recordings are avalible at : Lecture Recordings
| Week | Lecture | Slides |
| 1 | introduction-wide Course infrastructure and logistics |
|
| 2 | Quality Assurance and Testing Quality Assurance Testing Regression testing Unit Testing Integration Testing Mocking |
|
| 3 | Test Suite Quality Metrics Test suite quality metrics Line coverage Branch coverage Mutation analysis Beta and A/B testing |
|
| 4 | Test Inputs, Oracles and Generation Test Inputs Test Oracles Test Generation Path enumeration Path predicates Test suite minimization |
|
| 5 | Dynamic Analysis Property of interest Instrumentation False Positives False Negatives Hard-to-test bugs (concurrency) |
|
| 6 | Static and data flow analysis (I) Abstraction Dataflow analysis AST vs. IR Three-Address Code Control Flow Graphs |
MID SEMESTER BREAK#
| Week | Lecture | Slides |
| 7 | Static and data flow analysis (II) Reaching Definitions Analysis Call Graph Construction |
|
| 8 | AI/ML/LLM for testing Choosing AI/ML Algorithm ML Evaluation How can ML be useful in Software Engineering Automated Testing LLM and Prompt Engineering |
|
| 9 | Fuzzing What is fuzzing The fuzzing algorithm Blackbox, greybox, whitebox fuzzers Popular fuzzers Sanitizers |
|
| 10 | Fault localization and Profiling Debugger Identifying bugs Automatic tools |
|
| 11 | Software Analysis Tools strengths and weaknesses of static/dynamic analysis Popular analysis tools Use Cases large open-source software |
|
| 12 | Guest Lectuer/wrap up Guide to LLMs Job hunt Resume Advice Interview |
There is NO EXAM for COMP4130#
If you’re stuck, then you can reach out for help anytime—the course help page or course forum is a good place to start.