50.530: Software Engineering Sun Jun SUTD. Week 10: Symbolic Execution.
50.003: Elements of Software Construction Week 1 Software Development: Life Cycle and Methodologies 1.
50.530: Software Engineering Sun Jun SUTD. DateTopicRemarks Sep 15Introduction Sep 22Automatic Testing Sep 29Delta Debugging Oct 13Bug Localization Oct.