April 26, 2024
<sid.inpe.br/mtc-m19@80/2010/02.26.14.05>
(repository)

Report
Model-based test case generation using statecharts and z: a comparison and a combined approach
Santiago Júnior, Valdivino Alexandre de & Cristiá, Maximiliano & Vijaykumar, Nandamudi Lankapalli :2010:
(metadata from site <mtc-m16d.sid.inpe.br 806>)

The number of visits¹ since March 2, 2010 is 3206.

Average number of visits per day over 10 periods of 517 days

1.31 0.73 0.95 0.56 0.77 0.53 0.40 0.52 0.26 0.17   1       2      3      4      5      6      7      8      9       10

The red period number indicates that the corresponding period contains the day May 17, 2015¹.
The height of the purple bar is proportional to the average number of visits per day
within the corresponding period.
Period 1 begins on March 2, 2010 ( ), and Period 10 ends on April 26, 2024 ( ).
The number of visits over the 10 periods is 3206.
The average number of visits per day over the 10 periods is 0.62.
¹Before May 17, 2015, all each user visits (IP) were added, thereafter, only one visit per day for each user (IP) is added.