Software Construction and Design 2 COMP9202/SOFT3202 Autumn 2023
Matrix:
| |
Face to Face |
Remote |
| Postgrad |
COMP9202 CC |
COMP9202 RE |
| Undergrad |
SOFT3202 CC |
SOFT3202 RE |
Unit In Brief
- Essence of Software Development
- Essence of Testing
- How to Design Tests
- How to Evaluate Tests
- Fuzzing
- Oracles and Advanced Fuzzing
- Advanced Oracles
- Specification Mining with Symbolic Execution
- Unit Review
- Industry Talk: Ksenia Tkachenko, Macquairie Technology Group
- Research Talk: Language Based Software – Prof. Dr. Andreas Zeller