VASCONCELOS, G. M.; http://lattes.cnpq.br/9015211624221688; VASCONCELOS, Genildo de Moura. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 2012-03)
The objective in this work is to present a method for verifying programs using models
generated with the analysis of multiple execution traces. The program to be checked
should be instrumented to obtain the traces ...