Estatísticas para Removal of vulnerabilities in binary code by program model checking and concolic execution
Total de visitas
| views | |
|---|---|
| Removal of vulnerabilities in binary code by program model checking and concolic execution | 40 |
Total de visitas por mês
| views | |
|---|---|
| setembro 2025 | 3 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
Downloads
| views | |
|---|---|
| TM_Luís_Ferreirinha.pdf | 182 |
| ulfpie039647_tm.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 13 |
| Portugal | 10 |
| Lituânia | 3 |
| Alemanha | 2 |
| Sérvia | 2 |
| Brasil | 1 |
| Canadá | 1 |
| Equador | 1 |
| Reino Unido | 1 |
| Índia | 1 |
| Países Baixos | 1 |
| Turquia | 1 |