BRAIONE, PIETRO
 Distribuzione geografica
Continente #
NA - Nord America 3.484
EU - Europa 1.465
AS - Asia 681
SA - Sud America 5
AF - Africa 4
OC - Oceania 1
Totale 5.640
Nazione #
US - Stati Uniti d'America 3.442
IT - Italia 356
DE - Germania 355
CN - Cina 344
SG - Singapore 168
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 39
AT - Austria 29
FI - Finlandia 29
NL - Olanda 19
FR - Francia 18
BE - Belgio 13
ES - Italia 11
IN - India 11
TR - Turchia 9
CZ - Repubblica Ceca 7
ID - Indonesia 6
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
PL - Polonia 1
RO - Romania 1
TH - Thailandia 1
VE - Venezuela 1
Totale 5.640
Città #
Ann Arbor 1.343
Frankfurt am Main 297
Woodbridge 248
Fairfield 229
Chandler 195
Wilmington 174
Singapore 149
Ashburn 131
Houston 116
Dublin 111
Milan 110
Jacksonville 98
Dearborn 92
Seattle 90
Hangzhou 86
Santa Clara 76
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
Tianjin 11
Andover 10
Changsha 10
Fremont 10
Munich 10
Edmonton 9
Ottawa 9
Treviso 9
Hebei 7
Kunming 7
Ardea 6
Jakarta 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.522
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 533
SUSHI: A test generator for programs with complex structured inputs 459
A Survey of Field-based Testing Techniques 331
Design for testability of ermts applications 307
Hidden languages in a digital world: the case of sign language archives 294
Facilitating program performance profiling via evolutionary symbolic execution 293
JBSE: A symbolic executor for Java programs with complex heap inputs 283
Message from the GAUSS 2020 Workshop Chairs 253
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 246
SUSHI and TARDIS at the SBST2019 Tool Competition 244
Symbolic execution of programs with heap inputs 231
Automatic detection of bad smells in code: An experimental assessment 210
A context-aware style of software design 208
Classification methods and inductive learning rules: What we may learn from theory 200
Structural Coverage of Feasible Code 192
On the integration of software testing and formal analysis 181
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 168
Verifying LTL Properties of Bytecode with Symbolic Execution 162
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 162
Classification methods, reduced datasets and quality analysis applications 161
An Eclipse Plug-in for Code Smell Detection 161
An industrial case study of the effectiveness of test generators 156
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 153
On Calculi for Context-Aware Coordination 132
Automated Test Case Generation for Safety-Critical Software in Scade 97
Automatically generating test cases for safety-critical software via symbolic execution 72
Totale 5.889
Categoria #
all - tutte 15.561
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.561


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020620 0 0 0 0 81 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/2025425 50 139 90 58 88 0 0 0 0 0 0 0
Totale 5.889