8 de julho de 2025
<sid.inpe.br/mtc-m21c/2020/06.08.20.44>
(repositório)

Thesis
Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++
Rohde Eras, Eduardo :2021:
(metadados do site <mtc-m21c.sid.inpe.br 806>)

O número de visitas¹ desde o dia 15 de junho de 2020 é de 348.

Número médio de visitas por dia sobre 10 períodos de 185 dias

0.22 0.28 0.18 0.19 0.15 0.15 0.14 0.25 0.18 0.14   1       2      3      4      5      6      7      8      9       10

A altura de cada barra púrpura é proporcional ao número médio de visitas por dia
dentro do período correspondente.
Período 1 começa dia 15 de junho de 2020 ( ), e Período 10 termina dia 8 de julho de 2025 ( ).
O número de visitas durante os 10 períodos é de 348.
A média do número de visitas por dia durante os 10 períodos é de 0.19.
¹Antes do dia 17 de maio de 2015, todas as visitas de cada usuário (IP) eram somadas, a partir dessa data, apenas uma única visita por dia de cada usuário (IP) é somada.