Statistics for Generating MC/DC Adequate Test Sequences Through Model Checking
Total visits
| views | |
|---|---|
| Generating MC/DC Adequate Test Sequences Through Model Checking | 116 |
Total visits per month
| views | |
|---|---|
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
File Visits
| views | |
|---|---|
| TestGeneration03_0.pdf | 246 |
Top country views
| views | |
|---|---|
| United States | 50 |
| Hong Kong SAR China | 15 |
| China | 10 |
| Turkey | 4 |
| United Kingdom | 3 |
| Italy | 3 |
| Japan | 3 |
| Philippines | 3 |
| Singapore | 3 |
| Argentina | 2 |
| Brazil | 2 |
| Canada | 2 |
| Ireland | 2 |
| India | 2 |
| Malaysia | 2 |
| Sweden | 2 |
| Austria | 1 |
| Germany | 1 |
| Jordan | 1 |
| Mexico | 1 |
| New Zealand | 1 |
| Slovakia | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 36 |
| Central | 5 |
| Nashville | 4 |
| Tai Kok Tsui | 4 |
| Beijing | 3 |
| Istanbul | 3 |
| Singapore | 3 |
| Trento | 3 |
| Angeles City | 2 |
| Dublin | 2 |
| Hyderabad | 2 |
| Minneapolis | 2 |
| Athens | 1 |
| Boardman | 1 |
| Burnaby (Metrotown) | 1 |
| Chengdu | 1 |
| Chester | 1 |
| Des Moines | 1 |
| Dongguan | 1 |
| Edinburgh | 1 |
| Frankfurt am Main | 1 |
| Guadalajara | 1 |
| Izmir | 1 |
| Johor Bahru | 1 |
| Leopoldina | 1 |
| Nagoya | 1 |
| Nanjing | 1 |
| New York | 1 |
| Petaling Jaya | 1 |
| Ribeirao | 1 |
| San Jose | 1 |
| Tanjay | 1 |
| Tokyo | 1 |
| Tuen Mun | 1 |
| Vaxjo | 1 |
| Vienna | 1 |
| Västerås | 1 |
| Wellington | 1 |
| Zakamenne | 1 |
| Zhengzhou | 1 |