CIS 700: Software Analysis and Testing

[ganler]

CIS 700: Software Analysis and Testing: https://www.cis.upenn.edu/~mhnaik/edu/cis700/index.html

Other helpful courses:

• UW: https://courses.cs.washington.edu/courses/cse501/15sp/#schedule
• Harvard: https://www.seas.harvard.edu/courses/cs252/2015fa/schedule.html
• Mayur Naik's YouTube Channel: https://www.youtube.com/channel/UCvwqRhlkE_Wm2FF9qzvHfJw

Thankful for @PragmaTwice.

[ganler]

https://github.com/ganler/GanlerCS/tree/master/SoftwareAnalysis/UPennCIS700

[ganler]

JHU System Reliability: https://www.cs.jhu.edu/~huang/cs624/spring21/syllabus.html UIUC Software Testing and Debugging: https://lingming.cs.illinois.edu/courses/cs598ast-f20.html

[ganler]

SAT/SMT tutorials about tools (z3):

• SAT/SMT by examples
• https://zhuanlan.zhihu.com/p/30548907