Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.095
AS - Asia 5.134
EU - Europa 4.231
SA - Sud America 627
AF - Africa 114
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 2
Totale 20.217
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.880
SG - Singapore 1.751
CN - Cina 1.430
DE - Germania 930
IT - Italia 922
VN - Vietnam 660
HK - Hong Kong 590
RU - Federazione Russa 501
BR - Brasile 479
SE - Svezia 343
UA - Ucraina 294
IE - Irlanda 288
GB - Regno Unito 223
FR - Francia 165
CA - Canada 157
DK - Danimarca 153
KR - Corea 136
IN - India 114
FI - Finlandia 88
AT - Austria 72
BD - Bangladesh 62
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.208
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Singapore 1.014
Frankfurt am Main 787
Woodbridge 740
Ashburn 708
Fairfield 644
Hong Kong 562
Houston 500
San Jose 395
Chandler 389
Wilmington 346
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 107
Chicago 103
Dong Ket 102
Nanjing 95
The Dalles 88
Shanghai 67
Lauterbourg 63
Boardman 62
Rome 60
Toronto 57
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.160
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 657
SUSHI: A test generator for programs with complex structured inputs 581
On introducing automatic test case generation in practice: A success story and lessons learned 513
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 477
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 465
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 461
Design for testability of ermts applications 448
GUI testing in production: Challenges and opportunities 447
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 431
Facilitating program performance profiling via evolutionary symbolic execution 421
Towards Evidence-Based Testability Measurements 419
JBSE: A symbolic executor for Java programs with complex heap inputs 400
Reusing constraint proofs in program analysis 381
SUSHI and TARDIS at the SBST2019 Tool Competition 345
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 340
Symbolic execution of programs with heap inputs 326
Bidirectional Symbolic Analysis for Effective Branch Testing 312
Automated Test Case Generation for Safety-Critical Software in Scade 301
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 293
On the integration of software testing and formal analysis 292
Verifying LTL Properties of Bytecode with Symbolic Execution 279
Self-test components for highly reconfigurable systems 278
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 276
Adaptive integration of third-party web services 274
Structural Coverage of Feasible Code 273
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 270
Towards industrially relevant fault-proneness models 265
Using symbolic execution for verifying safety-critical systems 264
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 261
Adaptive Runtime Verification for Autonomic Communication Infrastructures 260
An industrial case study of the effectiveness of test generators 259
Big-data applications as self-Adaptive systems of systems 256
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 253
Towards Autonomic Service-Oriented Applications 253
Petri Nets and Software Engineering 253
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 245
Ensuring interoperable service-oriented systems through engineered self-healing 243
Automatically generating test cases for safety-critical software via symbolic execution 241
Design for testability for highly reconfigurable component-based systems 235
Towards Testing and Analysis of Systems that Use Serialization 233
Towards self-adaptive service-oriented architectures 232
Dynamic data flow testing of object oriented systems 231
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 227
An empirical evaluation of fault-proneness models 226
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 226
Designing self-adaptive service-oriented applications 223
Test-and-Adapt: An Approach for Improving Service Interchangeability 218
Measuring Software Testability via Automatically Generated Test Cases 215
Estimating software fault-proneness for tuning testing activities 215
Deriving models of software fault-proneness 212
All-Values Symbolic Execution 212
Quantifying the complexity of dataflow testing 212
SHIWS: A self-healing integrator for web services 211
Assertions to better specify the Amazon bug 210
Toward deeply adaptive societies of digital systems 209
Predicting Failures of Autoscaling Distributed Applications 196
PINCETTE - Validating Changes and Upgrades in Networked Software 193
GUI Testing to the Power of Parallel Q-Learning 192
Contextual integration testing of classes 192
Early performance testing of distributed software applications 185
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 183
Prevent: An Unsupervised Approach to Predict Software Failures in Production 180
DaTeC: Contextual data flow testing of Java classes 179
An Experience on Verification of Aspect Properties 179
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 176
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 174
An Eclipse Plug-in for Engineering Service Interchangeability 172
Automated software testing and analysis: techniques, pratices and tools 169
Proceedings of the 4th international workshop on software quality assurance 160
Performance Testing of Distributed Component Architectures 157
JBSE 149
Le Metriche Object-Oriented nelle Realtà Aziendali 142
On the Right Objectives of Data Flow Testing 133
Automated Test Generation for Integration Testing 44
Automated Test Generation from Program Documentation Encoded in Code Comments 43
Totale 20.664
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.032
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.032
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/20265.805 597 496 621 510 617 306 964 378 606 570 140 0
Totale 20.664