BRAIONE, PIETRO
 Distribuzione geografica
Continente #
NA - Nord America 3.606
EU - Europa 1.543
AS - Asia 852
SA - Sud America 34
AF - Africa 5
OC - Oceania 1
Totale 6.041
Nazione #
US - Stati Uniti d'America 3.561
IT - Italia 385
DE - Germania 362
CN - Cina 351
SG - Singapore 299
SE - Svezia 146
RU - Federazione Russa 115
IE - Irlanda 113
DK - Danimarca 92
UA - Ucraina 90
HK - Hong Kong 86
GB - Regno Unito 76
VN - Vietnam 60
CA - Canada 41
AT - Austria 31
FI - Finlandia 31
BR - Brasile 30
NL - Olanda 23
FR - Francia 19
BE - Belgio 14
IN - India 12
ES - Italia 11
ID - Indonesia 9
TR - Turchia 9
CZ - Repubblica Ceca 7
KR - Corea 6
CH - Svizzera 5
HU - Ungheria 5
LV - Lettonia 5
PT - Portogallo 5
TW - Taiwan 5
IR - Iran 4
JP - Giappone 4
GT - Guatemala 3
PH - Filippine 3
AR - Argentina 2
PL - Polonia 2
SC - Seychelles 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GN - Guinea 1
GR - Grecia 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MA - Marocco 1
NO - Norvegia 1
PE - Perù 1
PK - Pakistan 1
RO - Romania 1
TH - Thailandia 1
VE - Venezuela 1
Totale 6.041
Città #
Ann Arbor 1.343
Frankfurt am Main 299
Woodbridge 248
Fairfield 229
Chandler 195
Singapore 175
Wilmington 174
Ashburn 161
Milan 120
Houston 116
Dublin 111
Santa Clara 99
Jacksonville 98
Dearborn 92
Seattle 90
Hangzhou 86
Hong Kong 80
Cambridge 69
Nanjing 67
Boardman 65
New York 52
Mountain View 49
Princeton 48
Dong Ket 42
Council Bluffs 40
Beijing 32
Shanghai 27
Vienna 27
Rome 23
Lawrence 21
Altamura 19
Los Angeles 17
Guangzhou 16
Lachine 16
San Diego 16
Brussels 14
Nanchang 14
Shenyang 13
Helsinki 12
London 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
Lainate 6
Limbiate 6
Bregnano 5
Moscow 5
Reggio Nell'emilia 5
Riga 5
Salerno 5
Seregno 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
Framingham 3
Seveso 3
Zurich 3
Basiano 2
Besozzo 2
Buenos Aires 2
Busto Arsizio 2
Cagayan de Oro 2
Caserta 2
Casier 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
Totale 4.701
Nome #
Combining symbolic execution and search-based testing for programs with complex heap inputs 561
SUSHI: A test generator for programs with complex structured inputs 475
A Survey of Field-based Testing Techniques 356
Design for testability of ermts applications 323
Facilitating program performance profiling via evolutionary symbolic execution 312
Hidden languages in a digital world: the case of sign language archives 304
JBSE: A symbolic executor for Java programs with complex heap inputs 299
Message from the GAUSS 2020 Workshop Chairs 263
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 258
SUSHI and TARDIS at the SBST2019 Tool Competition 255
Symbolic execution of programs with heap inputs 243
Automatic detection of bad smells in code: An experimental assessment 242
A context-aware style of software design 233
Classification methods and inductive learning rules: What we may learn from theory 208
Structural Coverage of Feasible Code 199
On the integration of software testing and formal analysis 196
Verifying LTL Properties of Bytecode with Symbolic Execution 179
An Eclipse Plug-in for Code Smell Detection 177
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 176
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 174
An industrial case study of the effectiveness of test generators 167
Classification methods, reduced datasets and quality analysis applications 166
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 165
On Calculi for Context-Aware Coordination 141
Automated Test Case Generation for Safety-Critical Software in Scade 123
Automatically generating test cases for safety-critical software via symbolic execution 95
Totale 6.290
Categoria #
all - tutte 17.770
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 17.770


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020145 0 0 0 0 0 0 0 0 0 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/2025826 50 139 90 58 100 52 80 61 163 33 0 0
Totale 6.290