part3-concolic-testing
-
lec34-sym-exec-examples.pdf
-
lec36-libexif-casestudy.pptx
-
lec36-libexif-casestudy.pdf
-
lec38-conbol.pptx
-
lec38-conbol.pdf
- code
-
lec32-crown_tutorial-v3.pptx
-
lec33-crown-Examples-v2.pptx
-
lec34-sym-exec-examples-v2.pptx
-
lec31-concolic-v4.pptx
-
lec35-printf-grep-vi-system-testing-v3.pptx
-
lec36.automated_unit_testing.pptx
-
lec39-ICSE19-MAIST-rev18.pptx
-
lec37-ls-unit-testing-v4.pptx
