BRAIONE, PIETRO
 Distribuzione geografica
Continente #
NA - Nord America 4.500
AS - Asia 2.050
EU - Europa 1.820
SA - Sud America 253
AF - Africa 37
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 8.664
Nazione #
US - Stati Uniti d'America 4.423
SG - Singapore 689
CN - Cina 605
IT - Italia 421
DE - Germania 389
VN - Vietnam 259
HK - Hong Kong 208
BR - Brasile 193
RU - Federazione Russa 190
SE - Svezia 150
IE - Irlanda 116
GB - Regno Unito 109
UA - Ucraina 100
DK - Danimarca 92
FR - Francia 64
CA - Canada 58
IN - India 46
KR - Corea 43
AT - Austria 38
FI - Finlandia 34
NL - Olanda 31
JP - Giappone 24
TR - Turchia 24
AR - Argentina 22
BD - Bangladesh 21
IQ - Iraq 21
ID - Indonesia 17
BE - Belgio 15
ES - Italia 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 9
VE - Venezuela 8
CZ - Repubblica Ceca 7
TW - Taiwan 7
CO - Colombia 6
KZ - Kazakistan 6
LV - Lettonia 6
PT - Portogallo 6
HU - Ungheria 5
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
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
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 8.664
Città #
Ann Arbor 1.343
Singapore 389
Ashburn 329
Frankfurt am Main 309
Woodbridge 248
Fairfield 229
Hong Kong 199
Chandler 195
San Jose 195
Wilmington 175
Dallas 136
Milan 131
Houston 121
Dublin 114
Santa Clara 105
Jacksonville 99
Dearborn 92
Seattle 92
Beijing 89
Hangzhou 87
Ho Chi Minh City 71
Cambridge 69
New York 68
Nanjing 67
Boardman 66
Hefei 56
Los Angeles 53
Council Bluffs 51
Mountain View 49
Princeton 48
Hanoi 45
Dong Ket 42
Chicago 39
Seoul 36
Vienna 30
Shanghai 29
Rome 27
Buffalo 26
São Paulo 26
The Dalles 22
Lawrence 21
Lauterbourg 20
Altamura 19
Guangzhou 19
Lachine 16
London 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
Toronto 10
Edmonton 9
Jakarta 9
Ottawa 9
Treviso 9
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
Brooklyn 5
Dhaka 5
Ningbo 5
Orem 5
Phoenix 5
Reggio Nell'emilia 5
Salerno 5
Seregno 5
Zhengzhou 5
Amman 4
Belo Horizonte 4
Budapest 4
Buenos Aires 4
Campinas 4
Caravaggio 4
Totale 6.127
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 657
SUSHI: A test generator for programs with complex structured inputs 581
A Survey of Field-based Testing Techniques 494
Design for testability of ermts applications 448
Facilitating program performance profiling via evolutionary symbolic execution 421
Hidden languages in a digital world: the case of sign language archives 410
JBSE: A symbolic executor for Java programs with complex heap inputs 400
Message from the GAUSS 2020 Workshop Chairs 370
Automatic detection of bad smells in code: An experimental assessment 350
SUSHI and TARDIS at the SBST2019 Tool Competition 345
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 340
A context-aware style of software design 333
Symbolic execution of programs with heap inputs 326
Automated Test Case Generation for Safety-Critical Software in Scade 300
On the integration of software testing and formal analysis 292
Verifying LTL Properties of Bytecode with Symbolic Execution 279
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 276
Structural Coverage of Feasible Code 273
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 267
Classification methods and inductive learning rules: What we may learn from theory 266
An Eclipse Plug-in for Code Smell Detection 260
An industrial case study of the effectiveness of test generators 259
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 245
Automatically generating test cases for safety-critical software via symbolic execution 241
Classification methods, reduced datasets and quality analysis applications 238
On Calculi for Context-Aware Coordination 201
Automated Test Generation for Integration Testing 44
Totale 8.916
Categoria #
all - tutte 24.299
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 24.299


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021246 0 0 0 0 0 0 0 0 0 0 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/20262.305 263 141 256 207 294 130 407 136 217 227 27 0
Totale 8.916