Summary for Week 11
-
Lectures 24:We continued our discussion on white-box testing based on data-flow techniques.
We discussed control-flow graph and various data flow problems.
Date:Mon 11/12/01.
-
Lectures 25:This was a guest lecture given by Tom Ball (Microsoft Research) on model
checking of C programs. Information about the SLAM project can be found
here.
Date:Wed 11/14/01.
-
Lecture 26:We finished data-flow based white-box testing. We discussed connections between
data-flow analysis and model checking.
Date:Fri 11/16/01.