Bicocca Open Archive

Logo unimib boa
BRAIONE, PIETRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.124
EU - Europa 1.728
AS - Asia 1.556
SA - Sud America 202
AF - Africa 21
OC - Oceania 1
Totale 7.632
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.059
CN - Cina 543
SG - Singapore 539
IT - Italia 393
DE - Germania 383
HK - Hong Kong 199
RU - Federazione Russa 189
BR - Brasile 165
SE - Svezia 149
VN - Vietnam 128
IE - Irlanda 113
UA - Ucraina 97
GB - Regno Unito 95
DK - Danimarca 92
CA - Canada 51
FR - Francia 41
AT - Austria 37
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.632
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.343
Frankfurt am Main 307
Singapore 289
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
Council Bluffs 42
Dong Ket 42
Ho Chi Minh City 30
Vienna 29
Shanghai 28
Buffalo 23
Rome 23
São Paulo 22
Lawrence 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
San Jose 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
Totale 5.520
Salva come PNG Salva come JPEG
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 628
SUSHI: A test generator for programs with complex structured inputs 537
A Survey of Field-based Testing Techniques 444
Facilitating program performance profiling via evolutionary symbolic execution 389
Design for testability of ermts applications 383
JBSE: A symbolic executor for Java programs with complex heap inputs 361
Hidden languages in a digital world: the case of sign language archives 357
Message from the GAUSS 2020 Workshop Chairs 333
SUSHI and TARDIS at the SBST2019 Tool Competition 321
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 313
A context-aware style of software design 297
Automatic detection of bad smells in code: An experimental assessment 296
Symbolic execution of programs with heap inputs 287
On the integration of software testing and formal analysis 258
Classification methods and inductive learning rules: What we may learn from theory 249
Automated Test Case Generation for Safety-Critical Software in Scade 246
Structural Coverage of Feasible Code 243
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 237
Verifying LTL Properties of Bytecode with Symbolic Execution 233
An Eclipse Plug-in for Code Smell Detection 229
An industrial case study of the effectiveness of test generators 227
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 217
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 214
Classification methods, reduced datasets and quality analysis applications 213
Automatically generating test cases for safety-critical software via symbolic execution 188
On Calculi for Context-Aware Coordination 181
Totale 7.881
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.195
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.195
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.270 263 141 256 207 294 109 0 0 0 0 0 0
Totale 7.881