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 visitas1 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.
1Antes 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.
|