MARIANI, LEONARDO
 Distribuzione geografica
Continente #
NA - Nord America 15.678
EU - Europa 6.918
AS - Asia 2.103
AF - Africa 18
OC - Oceania 18
SA - Sud America 17
Continente sconosciuto - Info sul continente non disponibili 7
Totale 24.759
Nazione #
US - Stati Uniti d'America 15.441
DE - Germania 1.794
IT - Italia 1.373
CN - Cina 986
SE - Svezia 895
IE - Irlanda 674
UA - Ucraina 526
RU - Federazione Russa 515
HK - Hong Kong 341
VN - Vietnam 341
GB - Regno Unito 304
SG - Singapore 270
DK - Danimarca 258
CA - Canada 235
AT - Austria 160
FI - Finlandia 140
FR - Francia 81
NL - Olanda 57
TR - Turchia 55
BE - Belgio 31
ID - Indonesia 26
JP - Giappone 24
IN - India 20
LU - Lussemburgo 19
KR - Corea 18
CH - Svizzera 15
BR - Brasile 14
ES - Italia 13
AU - Australia 12
GR - Grecia 11
RO - Romania 11
CZ - Repubblica Ceca 10
BG - Bulgaria 8
MU - Mauritius 6
NZ - Nuova Zelanda 6
EU - Europa 5
PL - Polonia 5
DZ - Algeria 4
PT - Portogallo 4
SC - Seychelles 4
AE - Emirati Arabi Uniti 3
EE - Estonia 3
HU - Ungheria 3
IR - Iran 3
PK - Pakistan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AR - Argentina 2
EG - Egitto 2
IQ - Iraq 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 2
MD - Moldavia 2
MY - Malesia 2
SA - Arabia Saudita 2
CL - Cile 1
CR - Costa Rica 1
GL - Groenlandia 1
IS - Islanda 1
LT - Lituania 1
MC - Monaco 1
NO - Norvegia 1
TH - Thailandia 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 24.759
Città #
Ann Arbor 5.616
Frankfurt am Main 1.631
Fairfield 1.263
Woodbridge 1.227
Houston 924
Wilmington 784
Chandler 759
Dublin 658
Ashburn 623
Jacksonville 556
Milan 499
Seattle 451
Dearborn 442
Cambridge 412
Hong Kong 334
Princeton 307
New York 293
Dong Ket 206
Nanjing 196
Singapore 177
Vienna 151
Lawrence 130
Beijing 115
Shanghai 113
Altamura 105
Boardman 93
Lachine 93
Guangzhou 83
Hangzhou 80
San Diego 72
Toronto 67
Sacramento 62
Shenyang 53
Norwalk 52
Los Angeles 49
Ottawa 47
Andover 46
Nanchang 46
London 42
Rome 41
Falls Church 40
Fremont 39
Huizen 39
Redmond 37
Hebei 35
Helsinki 34
Changsha 33
Jiaxing 31
Ardea 28
Jinan 27
Trana 27
Jakarta 26
Tianjin 26
Zhengzhou 23
Arcore 22
Brussels 19
Ningbo 19
Kocaeli 18
Kunming 17
Edmonton 16
Chicago 15
Leawood 15
Melzo 14
Monza 14
Perugia 14
Hefei 13
Kiev 13
Mountain View 13
Philadelphia 13
Washington 13
Dallas 12
Phoenix 12
Cavenago Di Brianza 11
Duncan 11
Moscow 11
Seongnam 11
Lissone 10
San Mateo 10
Taizhou 10
Tokyo 10
Bergamo 9
Genova 9
Torino 9
University Park 9
Auburn Hills 8
Brno 8
Corsico 8
Halle 8
Cermenate 7
Como 7
Riverside 7
Rubano 7
Seoul 7
Wuhan 7
Brescia 6
Carate Brianza 6
Caserta 6
Kilburn 6
Lappeenranta 6
Mcallen 6
Totale 19.845
Nome #
Localizing Faults in Cloud Systems 478
Automatic Software Repair: A Survey 414
Data loss detector: Automatically revealing data loss bugs in Android apps 407
GK-Tail+ An Efficient Approach to Learn Software Models 398
Predicting failures in multi-tier distributed systems 364
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 363
On introducing automatic test case generation in practice: A success story and lessons learned 359
A Survey of Field-based Testing Techniques 318
A platform for P2P agent-based collaborative applications 314
CPSDebug: Automatic failure explanation in CPS models 309
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 296
Field Monitoring with Delayed Saving 294
TkT: Automatic Inference of Timed and Extended Pushdown Automata 291
GUI testing in production: Challenges and opportunities 288
Test4Enforcers: Test Case Generation for Software Enforcers 278
Declarative Dashboard Generation 273
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades 270
VARYS: An agnostic model-driven monitoring-as-a-service framework for the cloud 264
Model-Based Monitoring for IoTs Smart Cities Applications 260
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps 257
Automatic software repair: a survey 239
In-the-field monitoring of functional calls: Is it feasible? 236
A Framework for In-Vivo Testing of Mobile Applications 227
In the field monitoring of interactive application 224
Preface to the special section on improving software quality through formal methods 223
Compatibility and regression testing of COTS-component-based software 220
CPSDebug: A tool for explanation of failures in cyber-physical systems 218
Random or evolutionary search for object-oriented test suite generation? 217
Automatic ex-vivo regression testing of microservices 217
Anomaly detection as-A-service 216
An Exploratory Study of Field Failures 215
Generation of integration tests for self-testing components 208
Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS) 208
10th International Workshop on Automation of Software Test (AST 2015) 202
CBR: Controlled Burst Recording 199
Message from the Chairs: CSI-SE 2015 198
G-ranktest: Dynamic Analysis and testing of upgrades in labVIEW software 196
COST action IC 1402 ArVI: Runtime verification beyond monitoring activity report of working group 1 - Core aspects of monitoring 191
Cloudhealth: A model-driven approach to watch the health of cloud services 190
Self-test components for highly reconfigurable systems 189
Behavior Capture and Test: Dynamic Analysis of Component-Based Systems 185
Message from the Chairs 183
G-RankTest: Regression Testing of Controller Applications 181
A benchmark of data loss bugs for android apps 180
Controlling interactions with libraries in android apps through runtime enforcement 178
Message from the doctoral symposium chairs 178
ExVivoMicroTest: ExVivo Testing of Microservices 177
Behavior Capture and Test: Automated Analysis of Component Integration 174
Adaptive Runtime Verification for Autonomic Communication Infrastructures 174
Recent Advances in Automatic Black-Box Testing 172
Policy Enforcement with Proactive Libraries 171
Healing Data Loss Problems in Android Apps 163
Automated identification of failure causes in system logs 161
Towards Testing and Analysis of Systems that Use Serialization 161
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 161
Exception-Driven Fault Localization for Automated Program Repair 159
Testing Object Oriented Software 157
In-Field healing of integration problems with COTS Components 157
MASH: a Tool For End-User Plug-In Composition 155
Automatic Conformance Testing of Web Services 154
Automatic steering of behavioral model inference 154
Runtime Failure Prevention and Reaction 154
Mining Finite-State Automata with Annotations 153
Radar: Dynamic Analysis of Upgrades in C/C++ Software 151
Fragmented monitoring 151
Dynamic Analysis for Diagnosing Integration Faults 150
Fault-Tolerant Routing for P2P Systems with Unstructured Topology 149
A fault taxonomy for component-based software 148
Automatic testing of GUI-based applications 148
A comprehensive study of code-removal patches in automated program repair 148
Iterative model-driven development of adaptable service-based applications 147
A toolset for automated failure analysis 147
CrowdOracles: Can the Crowd Solve the Oracle Problem 146
Dynamic Analysis of Upgrades in C/C++ Software 146
Revolution: Automatic Evolution of Mined Specifications 145
The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure 143
Towards self-protecting enterprise applications 141
Toward in-vivo testing of mobile applications 141
Dependability in Peer-to-Peer Systems 140
A Technique for Verifying Component-Based Software 138
Dynamic detection of COTS component incompatibility 137
A model-driven approach to discovery, testing and monitoring of Web services 136
AVA: Automated interpretation of dynamically detected anomalies 136
Dynamic analysis of regression problems in industrial systems: Challenges and solutions 136
Investigation of failure causes in workload-driven reliability testing 134
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment 134
Learning extended FSA from software: An empirical assessment 133
Automatic generation of software behavioral models 132
ZoomIn: Discovering failures by detecting wrong assertions 132
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015) 131
Regression checking of changes in C software 130
PINCETTE - Validating Changes and Upgrades in Networked Software 129
Do automatically generated test cases make debugging easier? An experimental assessment of debugging effectiveness and efficiency 129
An agent-based approach to tool integration 128
Behavior Capture and Test for Verifying Evolving Component-Based Systems 127
An Empirical Study about the Effectiveness of Debugging when Random Test Cases Are Used 127
Extracting Widget Descriptions from GUIs 127
AVA: Supporting Debugging with Failure Interpretations 126
Increasing the Reusability of Enforcers with Lifecycle Events 126
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade 126
Totale 19.665
Categoria #
all - tutte 75.452
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 75.452


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.777 0 180 272 316 369 565 535 415 465 248 263 149
2020/20215.280 234 130 371 401 418 545 528 591 412 606 343 701
2021/20223.882 399 417 411 351 190 185 343 265 263 228 354 476
2022/20234.470 593 1.070 495 449 457 657 32 193 290 40 112 82
2023/20242.437 118 101 86 177 330 530 385 127 220 40 52 271
2024/2025595 462 133 0 0 0 0 0 0 0 0 0 0
Totale 26.017