9 de agosto de 2026
<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 12 de junho de 2020 é de 661.

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

0.21 0.26 0.18 0.16 0.15 0.13 0.31 0.11 0.76 0.68   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 12 de junho de 2020 ( ), e Período 10 termina dia 9 de agosto de 2026 ( ).
O número de visitas durante os 10 períodos é de 661.
A média do número de visitas por dia durante os 10 períodos é de 0.29.
¹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.