Statistics for Removal of vulnerabilities in binary code by program model checking and concolic execution
Total visits
| views | |
|---|---|
| Removal of vulnerabilities in binary code by program model checking and concolic execution | 40 |
Total visits per month
| views | |
|---|---|
| July 2025 | 3 |
| August 2025 | 0 |
| September 2025 | 3 |
| October 2025 | 0 |
| November 2025 | 0 |
| December 2025 | 0 |
| January 2026 | 0 |
File Visits
| views | |
|---|---|
| TM_Luís_Ferreirinha.pdf | 63 |
| ulfpie039647_tm.pdf | 1 |
Top country views
| views | |
|---|---|
| United States | 13 |
| Portugal | 10 |
| Lithuania | 3 |
| Germany | 2 |
| Serbia | 2 |
| Brazil | 1 |
| Canada | 1 |
| Ecuador | 1 |
| United Kingdom | 1 |
| India | 1 |
| Netherlands | 1 |
| Turkey | 1 |