Bicocca Open Archive

Logo unimib boa
BRAIONE, PIETRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.135
EU - Europa 1.729
AS - Asia 1.582
SA - Sud America 202
AF - Africa 21
OC - Oceania 1
Totale 7.670
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.070
SG - Singapore 557
CN - Cina 548
IT - Italia 393
DE - Germania 383
HK - Hong Kong 199
RU - Federazione Russa 189
BR - Brasile 165
SE - Svezia 149
VN - Vietnam 130
IE - Irlanda 114
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
IQ - Iraq 6
HU - Ungheria 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.670
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.343
Frankfurt am Main 307
Singapore 300
Ashburn 281
Woodbridge 248
Fairfield 229
Chandler 195
Hong Kong 193
Wilmington 175
Dallas 136
Houston 121
Milan 121
Dublin 112
Santa Clara 103
Jacksonville 99
Dearborn 92
Seattle 92
Hangzhou 87
Beijing 82
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 31
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
San Jose 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
Totale 5.547
Salva come PNG Salva come JPEG
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 629
SUSHI: A test generator for programs with complex structured inputs 538
A Survey of Field-based Testing Techniques 446
Facilitating program performance profiling via evolutionary symbolic execution 389
Design for testability of ermts applications 384
JBSE: A symbolic executor for Java programs with complex heap inputs 362
Hidden languages in a digital world: the case of sign language archives 359
Message from the GAUSS 2020 Workshop Chairs 334
SUSHI and TARDIS at the SBST2019 Tool Competition 323
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 313
Automatic detection of bad smells in code: An experimental assessment 302
A context-aware style of software design 299
Symbolic execution of programs with heap inputs 290
On the integration of software testing and formal analysis 259
Automated Test Case Generation for Safety-Critical Software in Scade 250
Classification methods and inductive learning rules: What we may learn from theory 249
Structural Coverage of Feasible Code 243
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 238
Verifying LTL Properties of Bytecode with Symbolic Execution 234
An Eclipse Plug-in for Code Smell Detection 231
An industrial case study of the effectiveness of test generators 228
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 217
Classification methods, reduced datasets and quality analysis applications 215
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 215
Automatically generating test cases for safety-critical software via symbolic execution 191
On Calculi for Context-Aware Coordination 181
Totale 7.919
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.419
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.419
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021712 0 0 0 0 0 0 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.308 263 141 256 207 294 130 17 0 0 0 0 0
Totale 7.919