| content | detail | type |
|---|---|---|
| guidance | some guidance instructions | jdk-config, java decompiler install |
| maven tutorial | introduction of maven | build tool |
| gradle tutorial | introduction of gradle | build tool |
| content | detail |
|---|---|
| course notes | notes about the course |
| assign1 | statement coverage, branch coverage and program instrumentation |
| assign2 | concolic analysis, fault-localization and program instrumentation |
| reading report | reading report about concurrency bugs |
| review codes | implementation of prime-path-coverage and def-use coverage in python |
| content | detail |
|---|---|
| code hunt play codes | code hunt codes |
| in-class practice codes | junit practice |
| in-class study codes | simple language feature testing |
| content | detail |
|---|---|
| randoop | random generated test cases based on five simple test oracles |
| soot study codes | program instrumentation |
| soot materials | program instrumentation |
| janala2 - build with ant | concolic analysis tool to generate test cases |
| janala2 - build with gradle | concolic analysis tool to generate test cases |
| gzoltar | fault-localization |