Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.376
AS - Asia 5.156
EU - Europa 4.237
SA - Sud America 627
AF - Africa 114
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 2
Totale 20.526
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.893
SG - Singapore 1.752
CN - Cina 1.430
DE - Germania 930
IT - Italia 928
VN - Vietnam 660
HK - Hong Kong 590
RU - Federazione Russa 501
BR - Brasile 479
CA - Canada 425
SE - Svezia 343
UA - Ucraina 294
IE - Irlanda 288
GB - Regno Unito 223
FR - Francia 165
DK - Danimarca 153
KR - Corea 136
IN - India 114
FI - Finlandia 88
BD - Bangladesh 83
AT - Austria 72
NL - Olanda 59
TR - Turchia 57
IQ - Iraq 51
ID - Indonesia 50
AR - Argentina 49
CH - Svizzera 48
ZA - Sudafrica 44
JP - Giappone 43
MX - Messico 36
PK - Pakistan 28
EC - Ecuador 27
PL - Polonia 27
SA - Arabia Saudita 27
PH - Filippine 26
ES - Italia 22
BE - Belgio 21
CO - Colombia 21
CZ - Repubblica Ceca 16
MA - Marocco 14
PT - Portogallo 14
VE - Venezuela 14
CL - Cile 13
AU - Australia 12
EG - Egitto 12
MY - Malesia 12
UZ - Uzbekistan 12
KZ - Kazakistan 10
PY - Paraguay 10
TN - Tunisia 10
DZ - Algeria 9
GR - Grecia 9
HU - Ungheria 8
JO - Giordania 8
KE - Kenya 8
PE - Perù 8
TW - Taiwan 8
AE - Emirati Arabi Uniti 7
AL - Albania 7
NP - Nepal 7
ET - Etiopia 6
IR - Iran 6
LT - Lituania 6
TH - Thailandia 6
AZ - Azerbaigian 5
DO - Repubblica Dominicana 5
LB - Libano 5
OM - Oman 5
JM - Giamaica 4
KG - Kirghizistan 4
RO - Romania 4
TT - Trinidad e Tobago 4
BO - Bolivia 3
LV - Lettonia 3
PS - Palestinian Territory 3
SC - Seychelles 3
UY - Uruguay 3
AO - Angola 2
CY - Cipro 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
MU - Mauritius 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
SY - Repubblica araba siriana 2
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
EE - Estonia 1
EU - Europa 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MM - Myanmar 1
Totale 20.517
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Singapore 1.014
Frankfurt am Main 787
Woodbridge 740
Ashburn 709
Fairfield 644
Hong Kong 562
Houston 501
San Jose 395
Chandler 389
Wilmington 346
Toronto 325
Milan 317
Jacksonville 308
Dublin 282
Santa Clara 281
Seattle 274
Dallas 243
New York 218
Cambridge 205
Dearborn 205
Beijing 193
Hangzhou 184
Ho Chi Minh City 184
Hefei 182
Seoul 127
Hanoi 126
Princeton 126
Los Angeles 112
Council Bluffs 108
Chicago 103
Dong Ket 102
Nanjing 95
The Dalles 88
Shanghai 67
Lauterbourg 63
Boardman 62
Rome 60
Buffalo 56
Lawrence 55
Vienna 54
Moscow 50
São Paulo 50
Altamura 49
Guangzhou 48
Lachine 48
San Diego 38
Tokyo 35
Jakarta 34
Nanchang 32
Changsha 30
London 27
Shenyang 27
Andover 26
Helsinki 26
Zurich 26
Munich 25
Baghdad 21
Warsaw 21
Brussels 20
Jinan 20
Lainate 20
Tianjin 20
Colombes 19
Hebei 19
Columbus 18
Huizen 18
Monza 17
Sacramento 17
Amsterdam 16
Chennai 16
Da Nang 16
Orem 16
Ottawa 16
Phoenix 15
Jeddah 14
Johannesburg 14
Belo Horizonte 13
Brooklyn 13
Fremont 13
Haiphong 13
Nuremberg 13
Ardea 12
Denver 12
Edmonton 12
Jiaxing 12
Kunming 12
Mexico City 12
Ningbo 12
Atlanta 11
Como 11
Desio 11
Mountain View 11
New Delhi 11
Norwalk 11
Quito 11
Zhengzhou 11
Dhaka 10
Limbiate 10
Rio de Janeiro 10
Totale 14.431
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 706
Combining symbolic execution and search-based testing for programs with complex heap inputs 663
SUSHI: A test generator for programs with complex structured inputs 587
On introducing automatic test case generation in practice: A success story and lessons learned 516
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 479
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 471
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 463
Design for testability of ermts applications 454
GUI testing in production: Challenges and opportunities 449
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 437
Towards Evidence-Based Testability Measurements 423
Facilitating program performance profiling via evolutionary symbolic execution 421
JBSE: A symbolic executor for Java programs with complex heap inputs 406
Reusing constraint proofs in program analysis 387
SUSHI and TARDIS at the SBST2019 Tool Competition 351
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 347
Symbolic execution of programs with heap inputs 332
Bidirectional Symbolic Analysis for Effective Branch Testing 312
Automated Test Case Generation for Safety-Critical Software in Scade 301
On the integration of software testing and formal analysis 299
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 294
Verifying LTL Properties of Bytecode with Symbolic Execution 283
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 282
Structural Coverage of Feasible Code 279
Self-test components for highly reconfigurable systems 278
Adaptive integration of third-party web services 278
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 276
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 273
Towards industrially relevant fault-proneness models 268
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 267
Adaptive Runtime Verification for Autonomic Communication Infrastructures 266
An industrial case study of the effectiveness of test generators 265
Using symbolic execution for verifying safety-critical systems 264
Big-data applications as self-Adaptive systems of systems 262
Petri Nets and Software Engineering 259
Towards Autonomic Service-Oriented Applications 253
Ensuring interoperable service-oriented systems through engineered self-healing 249
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 245
Automatically generating test cases for safety-critical software via symbolic execution 241
Design for testability for highly reconfigurable component-based systems 239
Towards self-adaptive service-oriented architectures 238
Dynamic data flow testing of object oriented systems 237
Towards Testing and Analysis of Systems that Use Serialization 233
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 233
Designing self-adaptive service-oriented applications 230
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 230
An empirical evaluation of fault-proneness models 226
Estimating software fault-proneness for tuning testing activities 221
Test-and-Adapt: An Approach for Improving Service Interchangeability 221
Deriving models of software fault-proneness 218
Quantifying the complexity of dataflow testing 218
SHIWS: A self-healing integrator for web services 217
Assertions to better specify the Amazon bug 216
Measuring Software Testability via Automatically Generated Test Cases 215
Toward deeply adaptive societies of digital systems 215
All-Values Symbolic Execution 212
PINCETTE - Validating Changes and Upgrades in Networked Software 199
Contextual integration testing of classes 198
Predicting Failures of Autoscaling Distributed Applications 197
GUI Testing to the Power of Parallel Q-Learning 194
DaTeC: Contextual data flow testing of Java classes 186
Early performance testing of distributed software applications 185
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 185
Prevent: An Unsupervised Approach to Predict Software Failures in Production 180
An Experience on Verification of Aspect Properties 179
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 178
An Eclipse Plug-in for Engineering Service Interchangeability 178
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 176
Automated software testing and analysis: techniques, pratices and tools 175
Proceedings of the 4th international workshop on software quality assurance 166
Performance Testing of Distributed Component Architectures 163
JBSE 155
Le Metriche Object-Oriented nelle Realtà Aziendali 148
On the Right Objectives of Data Flow Testing 139
Automated Test Generation for Integration Testing 44
Automated Test Generation from Program Documentation Encoded in Code Comments 43
Totale 20.973
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.735
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 60.735
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021470 0 0 0 0 0 0 0 0 0 0 165 305
2021/20221.575 143 173 206 147 76 65 144 102 92 99 147 181
2022/20232.081 223 499 233 229 230 279 27 97 123 25 58 58
2023/20241.146 59 54 49 118 151 265 180 48 80 14 23 105
2024/20253.009 150 402 176 146 240 163 130 204 364 387 224 423
2025/20266.114 597 496 621 510 617 306 964 378 606 570 449 0
Totale 20.973