50.053 Software Testing and Verification
Introduces automated testing algorithms and verification fundamentals via model checking. Emphasis is on designing test algorithms rather than tool usage. Students learn to test complex systems, with coverage-based and unit testing review, followed by systematic test generation strategies. The final week explores impactful recent research and synergies between model checking and testing. Students…
- Course code: 50.053
- Pillar: CSD
- Term: 6
- Credits: 12
- Department: Information Systems Technology and Design
- Prerequisites: 50.003
- Scheduled classes: 0
SUTD's own page for this course
Open modSUTD · FAQ
modSUTD is independent and is not affiliated with or endorsed by the Singapore University of Technology and Design.