BRAIONE, PIETRO
 Distribuzione geografica
Continente #
NA - Nord America 3.518
EU - Europa 1.474
AS - Asia 702
SA - Sud America 5
AF - Africa 4
OC - Oceania 1
Totale 5.704
Nazione #
US - Stati Uniti d'America 3.474
IT - Italia 364
DE - Germania 355
CN - Cina 348
SG - Singapore 180
SE - Svezia 145
IE - Irlanda 113
RU - Federazione Russa 94
DK - Danimarca 92
UA - Ucraina 89
GB - Regno Unito 74
HK - Hong Kong 62
VN - Vietnam 60
CA - Canada 41
AT - Austria 29
FI - Finlandia 29
NL - Olanda 20
FR - Francia 18
BE - Belgio 13
IN - India 12
ES - Italia 11
ID - Indonesia 9
TR - Turchia 9
CZ - Repubblica Ceca 7
KR - Corea 6
CH - Svizzera 5
PT - Portogallo 5
HU - Ungheria 4
IR - Iran 4
JP - Giappone 4
GT - Guatemala 3
PH - Filippine 3
TW - Taiwan 3
AR - Argentina 2
BR - Brasile 2
LV - Lettonia 2
SC - Seychelles 2
AU - Australia 1
ET - Etiopia 1
GN - Guinea 1
GR - Grecia 1
LU - Lussemburgo 1
NO - Norvegia 1
PK - Pakistan 1
PL - Polonia 1
RO - Romania 1
TH - Thailandia 1
VE - Venezuela 1
Totale 5.704
Città #
Ann Arbor 1.343
Frankfurt am Main 297
Woodbridge 248
Fairfield 229
Chandler 195
Wilmington 174
Singapore 160
Ashburn 131
Milan 117
Houston 116
Dublin 111
Santa Clara 99
Jacksonville 98
Dearborn 92
Seattle 90
Hangzhou 86
Cambridge 69
Nanjing 67
Boardman 65
Hong Kong 56
New York 52
Mountain View 49
Princeton 48
Dong Ket 42
Beijing 32
Shanghai 27
Vienna 25
Rome 22
Lawrence 21
Altamura 19
Lachine 16
San Diego 16
Guangzhou 15
Nanchang 14
Brussels 13
Shenyang 13
Helsinki 12
London 12
Los Angeles 12
Sacramento 12
Changsha 11
Tianjin 11
Andover 10
Fremont 10
Munich 10
Edmonton 9
Jakarta 9
Ottawa 9
Treviso 9
Hebei 7
Kunming 7
Ardea 6
Limbiate 6
Bregnano 5
Reggio Nell'emilia 5
Salerno 5
Budapest 4
Caravaggio 4
Caronno Pertusella 4
Hefei 4
Hyderabad 4
Ludwigshafen 4
Ningbo 4
Segrate 4
Taizhou 4
Toronto 4
Vigevano 4
Wilson 4
Zhengzhou 4
Brno 3
Ceska 3
Changchun 3
Chicago 3
Como 3
Council Bluffs 3
Framingham 3
Seveso 3
Zurich 3
Basiano 2
Besozzo 2
Buenos Aires 2
Busto Arsizio 2
Cagayan de Oro 2
Caserta 2
Castellanza 2
Catania 2
Chiyoda-ku 2
Corbetta 2
Cranfield 2
Crispano 2
Duncan 2
Falls Church 2
Filago 2
Gradara 2
Hanoi 2
Islington 2
Istanbul 2
Jiaxing 2
Kiev 2
Lanzhou 2
Totale 4.567
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 536
SUSHI: A test generator for programs with complex structured inputs 461
A Survey of Field-based Testing Techniques 335
Design for testability of ermts applications 309
Facilitating program performance profiling via evolutionary symbolic execution 302
Hidden languages in a digital world: the case of sign language archives 294
JBSE: A symbolic executor for Java programs with complex heap inputs 284
Message from the GAUSS 2020 Workshop Chairs 255
SUSHI and TARDIS at the SBST2019 Tool Competition 247
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 247
Symbolic execution of programs with heap inputs 232
Automatic detection of bad smells in code: An experimental assessment 218
A context-aware style of software design 209
Classification methods and inductive learning rules: What we may learn from theory 201
Structural Coverage of Feasible Code 193
On the integration of software testing and formal analysis 183
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 170
Verifying LTL Properties of Bytecode with Symbolic Execution 164
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 163
Classification methods, reduced datasets and quality analysis applications 162
An Eclipse Plug-in for Code Smell Detection 162
An industrial case study of the effectiveness of test generators 158
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 155
On Calculi for Context-Aware Coordination 133
Automated Test Case Generation for Safety-Critical Software in Scade 103
Automatically generating test cases for safety-critical software via symbolic execution 77
Totale 5.953
Categoria #
all - tutte 15.998
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 15.998


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020539 0 0 0 0 0 109 109 82 94 56 68 21
2020/20211.201 50 32 81 100 86 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/2025489 50 139 90 58 100 52 0 0 0 0 0 0
Totale 5.953