Los puntos clave no están disponibles para este artículo en este momento.
Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing.
Lorenzoli et al. (Sat,) studied this question.