Artigos mais recentes para Runtime Verification

Uma nova abordagem de monitoramento que usa várias execuções do sistema pra ter mais precisão.