In this paper , we will show how to use this model of integration testing in a regression testing mode , where ... error is a misunderstanding by the module user about Sa , in that it differs from the interpreted specification Si .