Key points are not available for this paper at this time.
Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing.
Lorenzoli et al. (Sat,) studied this question.