. "This paper will examine Frysk's approach to testing, in particular the development and inclusion of unit tests directly targeted at kernel regressions." . . .