Answers are grounded in this paper and cite their sources.
Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing.
No takes yet. Share an insight, caveat, or question.
Lorenzoli et al. (2008) studied this question.