Bicocca Open Archive

Logo unimib boa
BRAIONE, PIETRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.118
EU - Europa 1.723
AS - Asia 1.520
SA - Sud America 201
AF - Africa 21
OC - Oceania 1
Totale 7.584
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.053
CN - Cina 543
SG - Singapore 504
IT - Italia 393
DE - Germania 383
HK - Hong Kong 199
RU - Federazione Russa 189
BR - Brasile 164
SE - Svezia 149
VN - Vietnam 127
IE - Irlanda 113
UA - Ucraina 97
GB - Regno Unito 95
DK - Danimarca 92
CA - Canada 51
AT - Austria 37
FR - Francia 36
FI - Finlandia 32
NL - Olanda 26
IN - India 25
KR - Corea 22
AR - Argentina 16
TR - Turchia 15
BE - Belgio 14
ES - Italia 14
JP - Giappone 14
ID - Indonesia 12
PL - Polonia 12
ZA - Sudafrica 12
BD - Bangladesh 11
CH - Svizzera 9
EC - Ecuador 9
MX - Messico 8
CZ - Repubblica Ceca 7
PK - Pakistan 7
TW - Taiwan 7
HU - Ungheria 5
IQ - Iraq 5
IR - Iran 5
KZ - Kazakistan 5
LV - Lettonia 5
PT - Portogallo 5
GT - Guatemala 3
LT - Lituania 3
PE - Perù 3
PH - Filippine 3
PY - Paraguay 3
UZ - Uzbekistan 3
CO - Colombia 2
DO - Repubblica Dominicana 2
JO - Giordania 2
LB - Libano 2
LK - Sri Lanka 2
RO - Romania 2
SA - Arabia Saudita 2
SC - Seychelles 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BY - Bielorussia 1
CL - Cile 1
DZ - Algeria 1
ET - Etiopia 1
GN - Guinea 1
GR - Grecia 1
GY - Guiana 1
HN - Honduras 1
KE - Kenya 1
LU - Lussemburgo 1
MA - Marocco 1
NG - Nigeria 1
NO - Norvegia 1
OM - Oman 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
Totale 7.584
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.343
Frankfurt am Main 307
Singapore 280
Ashburn 275
Woodbridge 248
Fairfield 229
Chandler 195
Hong Kong 193
Wilmington 175
Dallas 136
Houston 121
Milan 121
Dublin 111
Santa Clara 103
Jacksonville 99
Dearborn 92
Seattle 92
Hangzhou 86
Beijing 80
Cambridge 69
Nanjing 67
Boardman 65
New York 61
Hefei 56
Mountain View 49
Princeton 48
Los Angeles 47
Dong Ket 42
Council Bluffs 40
Ho Chi Minh City 29
Vienna 29
Shanghai 28
Buffalo 23
Rome 23
Lawrence 21
São Paulo 21
Altamura 19
Guangzhou 18
Lachine 16
London 16
San Diego 16
Seoul 16
The Dalles 15
Brussels 14
Nanchang 14
Chicago 13
Shenyang 13
Changsha 12
Helsinki 12
Moscow 12
Sacramento 12
Hanoi 11
Munich 11
Tianjin 11
Andover 10
Fremont 10
Tokyo 10
Edmonton 9
Jakarta 9
Ottawa 9
Treviso 9
Toronto 8
Hebei 7
Kunming 7
Warsaw 7
Ardea 6
Denver 6
Lainate 6
Limbiate 6
Rio de Janeiro 6
Bregnano 5
Johannesburg 5
Ningbo 5
Phoenix 5
Reggio Nell'emilia 5
Riga 5
Salerno 5
Seregno 5
Zhengzhou 5
Brooklyn 4
Budapest 4
Caravaggio 4
Caronno Pertusella 4
Chennai 4
Columbus 4
Dhaka 4
Goiânia 4
Hyderabad 4
Ludwigshafen 4
Roubaix 4
Segrate 4
Taizhou 4
Thái Bình 4
Vigevano 4
Wilson 4
Amsterdam 3
Ankara 3
Atlanta 3
Belo Horizonte 3
Brno 3
Totale 5.504
Salva come PNG Salva come JPEG
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 626
SUSHI: A test generator for programs with complex structured inputs 534
A Survey of Field-based Testing Techniques 439
Facilitating program performance profiling via evolutionary symbolic execution 388
Design for testability of ermts applications 382
JBSE: A symbolic executor for Java programs with complex heap inputs 359
Hidden languages in a digital world: the case of sign language archives 355
Message from the GAUSS 2020 Workshop Chairs 332
SUSHI and TARDIS at the SBST2019 Tool Competition 320
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 311
A context-aware style of software design 296
Automatic detection of bad smells in code: An experimental assessment 294
Symbolic execution of programs with heap inputs 285
On the integration of software testing and formal analysis 255
Classification methods and inductive learning rules: What we may learn from theory 248
Automated Test Case Generation for Safety-Critical Software in Scade 244
Structural Coverage of Feasible Code 242
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 235
Verifying LTL Properties of Bytecode with Symbolic Execution 229
An Eclipse Plug-in for Code Smell Detection 227
An industrial case study of the effectiveness of test generators 226
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 215
Classification methods, reduced datasets and quality analysis applications 212
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 212
Automatically generating test cases for safety-critical software via symbolic execution 187
On Calculi for Context-Aware Coordination 180
Totale 7.833
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.063
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 22.063
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021852 0 0 0 0 0 140 118 129 108 111 102 144
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/20261.222 263 141 256 207 294 61 0 0 0 0 0 0
Totale 7.833