Bicocca Open Archive

Logo unimib boa
BRAIONE, PIETRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.751
AS - Asia 2.061
EU - Europa 1.914
SA - Sud America 254
Continente sconosciuto - Info sul continente non disponibili 253
AF - Africa 37
OC - Oceania 3
Totale 9.273
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.547
SG - Singapore 692
CN - Cina 610
IT - Italia 510
DE - Germania 389
VN - Vietnam 261
HK - Hong Kong 208
BR - Brasile 194
RU - Federazione Russa 190
CA - Canada 183
SE - Svezia 150
IE - Irlanda 116
GB - Regno Unito 110
UA - Ucraina 100
DK - Danimarca 92
FR - Francia 64
IN - India 46
KR - Corea 43
AT - Austria 38
FI - Finlandia 34
NL - Olanda 33
JP - Giappone 24
TR - Turchia 24
AR - Argentina 22
BD - Bangladesh 21
IQ - Iraq 21
ID - Indonesia 18
ES - Italia 16
BE - Belgio 15
PK - Pakistan 15
ZA - Sudafrica 15
PH - Filippine 13
SA - Arabia Saudita 13
EC - Ecuador 12
PL - Polonia 12
CH - Svizzera 10
MX - Messico 10
VE - Venezuela 8
CZ - Repubblica Ceca 7
TW - Taiwan 7
CO - Colombia 6
HU - Ungheria 6
KZ - Kazakistan 6
LV - Lettonia 6
PT - Portogallo 6
IR - Iran 5
JO - Giordania 4
AE - Emirati Arabi Uniti 3
AU - Australia 3
AZ - Azerbaigian 3
CL - Cile 3
DO - Repubblica Dominicana 3
EG - Egitto 3
GT - Guatemala 3
LB - Libano 3
LT - Lituania 3
MA - Marocco 3
OM - Oman 3
PE - Perù 3
PY - Paraguay 3
SY - Repubblica araba siriana 3
TN - Tunisia 3
UZ - Uzbekistan 3
AO - Angola 2
DZ - Algeria 2
ET - Etiopia 2
KE - Kenya 2
LK - Sri Lanka 2
NP - Nepal 2
RO - Romania 2
SC - Seychelles 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
AL - Albania 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CW - ???statistics.table.value.countryCode.CW??? 1
GE - Georgia 1
GN - Guinea 1
GR - Grecia 1
GY - Guiana 1
HN - Honduras 1
KG - Kirghizistan 1
LC - Santa Lucia 1
LU - Lussemburgo 1
MW - Malawi 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
PS - Palestinian Territory 1
UY - Uruguay 1
Totale 9.021
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.343
Singapore 389
Ashburn 346
Frankfurt am Main 309
Woodbridge 248
Fairfield 229
Hong Kong 199
San Jose 199
Chandler 195
Wilmington 175
Milan 171
Dallas 137
Toronto 134
Houston 122
Dublin 114
Santa Clara 110
Jacksonville 99
Seattle 95
Dearborn 92
Beijing 89
Boardman 87
Hangzhou 87
New York 72
Ho Chi Minh City 71
Cambridge 69
Nanjing 67
Hefei 56
Los Angeles 56
Council Bluffs 53
Mountain View 49
Princeton 48
Hanoi 45
Dong Ket 42
Chicago 39
Seoul 36
Rome 35
Vienna 30
Shanghai 29
Buffalo 28
São Paulo 27
The Dalles 22
Lawrence 21
Lauterbourg 20
Altamura 19
Guangzhou 19
London 17
Lachine 16
San Diego 16
Brussels 15
Helsinki 14
Munich 14
Nanchang 14
Tokyo 14
Moscow 13
Shenyang 13
Changsha 12
Sacramento 12
Tianjin 12
Da Nang 11
Andover 10
Fremont 10
Edmonton 9
Jakarta 9
Ottawa 9
Treviso 9
Brooklyn 8
Columbus 8
Haiphong 8
Baghdad 7
Hebei 7
Kunming 7
Warsaw 7
Amsterdam 6
Ardea 6
Denver 6
Des Moines 6
Istanbul 6
Jeddah 6
Johannesburg 6
Lahore 6
Lainate 6
Limbiate 6
Riga 6
Rio de Janeiro 6
Riyadh 6
Biên Hòa 5
Bregnano 5
Dhaka 5
Ningbo 5
Orem 5
Philadelphia 5
Phoenix 5
Reggio Nell'emilia 5
Salerno 5
Seregno 5
Washington 5
Zhengzhou 5
Amman 4
Atlanta 4
Belo Horizonte 4
Totale 6.373
Salva come PNG Salva come JPEG
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 672
SUSHI: A test generator for programs with complex structured inputs 601
A Survey of Field-based Testing Techniques 504
Design for testability of ermts applications 462
Facilitating program performance profiling via evolutionary symbolic execution 431
Hidden languages in a digital world: the case of sign language archives 421
JBSE: A symbolic executor for Java programs with complex heap inputs 415
Message from the GAUSS 2020 Workshop Chairs 382
Automatic detection of bad smells in code: An experimental assessment 364
SUSHI and TARDIS at the SBST2019 Tool Competition 356
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 351
A context-aware style of software design 345
Symbolic execution of programs with heap inputs 336
Automated Test Case Generation for Safety-Critical Software in Scade 311
On the integration of software testing and formal analysis 307
Verifying LTL Properties of Bytecode with Symbolic Execution 292
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 291
Structural Coverage of Feasible Code 284
An Eclipse Plug-in for Code Smell Detection 281
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 278
Classification methods and inductive learning rules: What we may learn from theory 277
An industrial case study of the effectiveness of test generators 276
Automatically generating test cases for safety-critical software via symbolic execution 259
Classification methods, reduced datasets and quality analysis applications 251
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 251
On Calculi for Context-Aware Coordination 216
Automated Test Generation for Integration Testing 59
Totale 9.273
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.132
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 26.132
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022824 113 103 93 87 49 39 65 61 44 41 65 64
2022/2023940 94 239 107 101 63 122 14 48 63 12 29 48
2023/2024508 38 31 35 54 65 100 63 27 32 5 14 44
2024/20251.147 50 139 90 58 100 52 80 61 163 135 91 128
2025/20262.606 263 141 256 207 294 130 407 136 217 227 168 160
2026/202756 56 0 0 0 0 0 0 0 0 0 0 0
Totale 9.273