BRAIONE, PIETRO
 Distribuzione geografica
Continente #
NA - Nord America 4.706
AS - Asia 2.059
EU - Europa 1.909
SA - Sud America 254
AF - Africa 37
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 8.969
Nazione #
US - Stati Uniti d'America 4.503
SG - Singapore 690
CN - Cina 610
IT - Italia 506
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 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
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 8.969
Città #
Ann Arbor 1.343
Singapore 389
Ashburn 338
Frankfurt am Main 309
Woodbridge 248
Fairfield 229
Hong Kong 199
San Jose 199
Chandler 195
Wilmington 175
Milan 171
Dallas 136
Toronto 134
Houston 122
Dublin 114
Santa Clara 106
Jacksonville 99
Dearborn 92
Seattle 92
Beijing 89
Boardman 87
Hangzhou 87
Ho Chi Minh City 71
New York 70
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
Columbus 8
Haiphong 8
Baghdad 7
Hebei 7
Kunming 7
Warsaw 7
Amsterdam 6
Ardea 6
Brooklyn 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
Phoenix 5
Reggio Nell'emilia 5
Salerno 5
Seregno 5
Washington 5
Zhengzhou 5
Amman 4
Atlanta 4
Belo Horizonte 4
Budapest 4
Totale 6.352
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 671
SUSHI: A test generator for programs with complex structured inputs 596
A Survey of Field-based Testing Techniques 500
Design for testability of ermts applications 460
Facilitating program performance profiling via evolutionary symbolic execution 429
Hidden languages in a digital world: the case of sign language archives 421
JBSE: A symbolic executor for Java programs with complex heap inputs 413
Message from the GAUSS 2020 Workshop Chairs 382
Automatic detection of bad smells in code: An experimental assessment 362
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 342
Symbolic execution of programs with heap inputs 334
Automated Test Case Generation for Safety-Critical Software in Scade 307
On the integration of software testing and formal analysis 306
Verifying LTL Properties of Bytecode with Symbolic Execution 292
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 288
Structural Coverage of Feasible Code 282
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
An industrial case study of the effectiveness of test generators 274
Classification methods and inductive learning rules: What we may learn from theory 274
Automatically generating test cases for safety-critical software via symbolic execution 256
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 249
Classification methods, reduced datasets and quality analysis applications 248
On Calculi for Context-Aware Coordination 214
Automated Test Generation for Integration Testing 55
Totale 9.221
Categoria #
all - tutte 25.641
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 25.641


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/20274 4 0 0 0 0 0 0 0 0 0 0 0
Totale 9.221