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.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: