CS 6340 Software Analysis and Test

2024-08-21 14:27:02 Admin 写评论

CS 6340 is a graduate-level course on software analysis and testing. We will cover topics such as static program analysis, random testing, dataflow analysis, type systems, test case generation, symbolic execution, and more. …

继续阅读 →