Statistics for Addressing challenges in obtaining high coverage when model checking android applications
Total visits
| views | |
|---|---|
| Addressing challenges in obtaining high coverage when model checking android applications | 309 |
Total visits per month
| views | |
|---|---|
| July 2025 | 0 |
| August 2025 | 0 |
| September 2025 | 0 |
| October 2025 | 0 |
| November 2025 | 0 |
| December 2025 | 0 |
| January 2026 | 0 |
File Visits
| views | |
|---|---|
| Botha_19521_2017.pdf | 230 |
Top country views
| views | |
|---|---|
| United States | 86 |
| South Africa | 59 |
| United Kingdom | 31 |
| China | 21 |
| Austria | 16 |
| Germany | 16 |
| Vietnam | 11 |
| Netherlands | 10 |
| India | 8 |
| France | 7 |
| Japan | 7 |
| Ukraine | 5 |
| South Korea | 4 |
| Russia | 3 |
| Brazil | 2 |
| Australia | 1 |
| Canada | 1 |
| European Union | 1 |
| Finland | 1 |
| Hong Kong SAR China | 1 |
| Sweden | 1 |
| Singapore | 1 |
Top city views
| views | |
|---|---|
| Southend | 28 |
| Ann Arbor | 16 |
| Vienna | 16 |
| Hanoi | 11 |
| Beijing | 10 |
| Bengaluru | 7 |
| Jacksonville | 6 |
| Wilmington | 5 |
| Argyle | 4 |
| Hangzhou | 4 |
| Mito | 4 |
| Philadelphia | 4 |
| Pretoria | 4 |
| Johannesburg | 3 |
| Norwalk | 3 |
| Boardman | 2 |
| Campbell | 2 |
| Chengdu | 2 |
| Colombo | 2 |
| Frickingen | 2 |
| Indianapolis | 2 |
| Woodbridge | 2 |
| Ashburn | 1 |
| Balashikha | 1 |
| Boksburg | 1 |
| Cape Town | 1 |
| Central | 1 |
| Chicago | 1 |
| Chongqing | 1 |
| Englewood | 1 |
| Guangzhou | 1 |
| Helsinki | 1 |
| Hyderabad | 1 |
| Kobe | 1 |
| Kyoto | 1 |
| London | 1 |
| Los Angeles | 1 |
| Melbourne | 1 |
| Moscow | 1 |
| Nürnberg | 1 |
| Oakland | 1 |
| Ottawa | 1 |
| Piscataway | 1 |
| San Diego | 1 |
| San Jose | 1 |
| Seoul | 1 |
| Tokyo | 1 |