search

txt / se20

fall2020 cs310 se csc ncsu
Other
11 stars 29 forks source link

lecture: testing #13

Open timm opened 4 years ago

timm commented 4 years ago

black box

white box

symbolic execution

forma: temporal logic, spin, lurch, cobra

fuzzing

test case prioritization

test case generation, theorem provers