Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.604
AS - Asia 5.193
EU - Europa 4.502
SA - Sud America 629
AF - Africa 114
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 2
Totale 21.058
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.115
SG - Singapore 1.759
CN - Cina 1.437
IT - Italia 1.178
DE - Germania 933
VN - Vietnam 664
HK - Hong Kong 590
RU - Federazione Russa 501
BR - Brasile 480
CA - Canada 429
SE - Svezia 343
UA - Ucraina 294
IE - Irlanda 288
GB - Regno Unito 224
FR - Francia 165
DK - Danimarca 153
KR - Corea 136
IN - India 114
BD - Bangladesh 96
FI - Finlandia 88
AT - Austria 72
NL - Olanda 61
TR - Turchia 58
ID - Indonesia 51
IQ - Iraq 51
AR - Argentina 50
CH - Svizzera 49
JP - Giappone 45
ZA - Sudafrica 44
MX - Messico 36
PL - Polonia 29
PK - Pakistan 28
EC - Ecuador 27
SA - Arabia Saudita 27
PH - Filippine 26
ES - Italia 23
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
HU - Ungheria 12
MY - Malesia 12
UZ - Uzbekistan 12
KZ - Kazakistan 10
PY - Paraguay 10
TN - Tunisia 10
DZ - Algeria 9
GR - Grecia 9
JO - Giordania 8
KE - Kenya 8
NP - Nepal 8
PE - Perù 8
TW - Taiwan 8
AE - Emirati Arabi Uniti 7
AL - Albania 7
LT - Lituania 7
ET - Etiopia 6
IR - Iran 6
TH - Thailandia 6
AZ - Azerbaigian 5
DO - Repubblica Dominicana 5
LB - Libano 5
OM - Oman 5
TT - Trinidad e Tobago 5
JM - Giamaica 4
KG - Kirghizistan 4
RO - Romania 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
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
KH - Cambogia 1
LC - Santa Lucia 1
LK - Sri Lanka 1
Totale 21.047
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Singapore 1.018
Frankfurt am Main 789
Ashburn 760
Woodbridge 740
Fairfield 644
Hong Kong 562
Houston 501
Milan 422
San Jose 401
Chandler 389
Wilmington 346
Toronto 325
Jacksonville 308
Santa Clara 286
Dublin 282
Seattle 274
Dallas 250
New York 221
Cambridge 205
Dearborn 205
Beijing 193
Hangzhou 184
Ho Chi Minh City 184
Hefei 182
Hanoi 128
Seoul 127
Princeton 126
Los Angeles 115
Council Bluffs 114
Chicago 103
Dong Ket 102
Boardman 100
Nanjing 95
Rome 94
The Dalles 88
Shanghai 67
Lauterbourg 63
Buffalo 58
Lawrence 55
Vienna 54
Moscow 50
São Paulo 50
Altamura 49
Guangzhou 48
Lachine 48
Columbus 38
San Diego 38
Tokyo 36
Jakarta 34
Nanchang 32
Changsha 30
London 27
Shenyang 27
Zurich 27
Andover 26
Helsinki 26
Munich 25
Baghdad 21
Warsaw 21
Brussels 20
Jinan 20
Lainate 20
Tianjin 20
Colombes 19
Hebei 19
Huizen 18
Monza 17
Sacramento 17
Amsterdam 16
Chennai 16
Da Nang 16
Orem 16
Ottawa 16
Phoenix 16
Brooklyn 14
Jeddah 14
Johannesburg 14
Philadelphia 14
Belo Horizonte 13
Fremont 13
Haiphong 13
Nuremberg 13
Ardea 12
Atlanta 12
Denver 12
Edmonton 12
Jiaxing 12
Kunming 12
Mexico City 12
Ningbo 12
Washington 12
Como 11
Desio 11
Montreal 11
Mountain View 11
New Delhi 11
Norwalk 11
Quito 11
Turin 11
Totale 14.731
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 716
Combining symbolic execution and search-based testing for programs with complex heap inputs 671
SUSHI: A test generator for programs with complex structured inputs 595
On introducing automatic test case generation in practice: A success story and lessons learned 522
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 497
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 481
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 472
Design for testability of ermts applications 460
GUI testing in production: Challenges and opportunities 457
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 440
Facilitating program performance profiling via evolutionary symbolic execution 429
Towards Evidence-Based Testability Measurements 425
JBSE: A symbolic executor for Java programs with complex heap inputs 413
Reusing constraint proofs in program analysis 390
SUSHI and TARDIS at the SBST2019 Tool Competition 356
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 350
Symbolic execution of programs with heap inputs 334
Bidirectional Symbolic Analysis for Effective Branch Testing 317
Automated Test Case Generation for Safety-Critical Software in Scade 307
On the integration of software testing and formal analysis 306
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 300
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 292
Verifying LTL Properties of Bytecode with Symbolic Execution 291
Adaptive integration of third-party web services 290
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 288
Self-test components for highly reconfigurable systems 282
Structural Coverage of Feasible Code 282
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 278
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 276
An industrial case study of the effectiveness of test generators 274
Adaptive Runtime Verification for Autonomic Communication Infrastructures 272
Towards industrially relevant fault-proneness models 271
Big-data applications as self-Adaptive systems of systems 269
Using symbolic execution for verifying safety-critical systems 267
Petri Nets and Software Engineering 265
Towards Autonomic Service-Oriented Applications 263
Automatically generating test cases for safety-critical software via symbolic execution 256
Ensuring interoperable service-oriented systems through engineered self-healing 253
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 249
Towards self-adaptive service-oriented architectures 246
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 244
Towards Testing and Analysis of Systems that Use Serialization 242
Design for testability for highly reconfigurable component-based systems 241
Dynamic data flow testing of object oriented systems 241
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 233
Designing self-adaptive service-oriented applications 232
An empirical evaluation of fault-proneness models 228
Quantifying the complexity of dataflow testing 228
Test-and-Adapt: An Approach for Improving Service Interchangeability 226
Measuring Software Testability via Automatically Generated Test Cases 224
Estimating software fault-proneness for tuning testing activities 223
Assertions to better specify the Amazon bug 222
Deriving models of software fault-proneness 220
SHIWS: A self-healing integrator for web services 219
Toward deeply adaptive societies of digital systems 218
All-Values Symbolic Execution 218
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 216
Predicting Failures of Autoscaling Distributed Applications 206
PINCETTE - Validating Changes and Upgrades in Networked Software 206
Contextual integration testing of classes 204
GUI Testing to the Power of Parallel Q-Learning 198
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 196
DaTeC: Contextual data flow testing of Java classes 196
Early performance testing of distributed software applications 193
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 191
Prevent: An Unsupervised Approach to Predict Software Failures in Production 185
An Eclipse Plug-in for Engineering Service Interchangeability 180
An Experience on Verification of Aspect Properties 180
Automated software testing and analysis: techniques, pratices and tools 178
Proceedings of the 4th international workshop on software quality assurance 174
Performance Testing of Distributed Component Architectures 167
JBSE 158
Le Metriche Object-Oriented nelle Realtà Aziendali 152
On the Right Objectives of Data Flow Testing 151
Automated Test Generation from Program Documentation Encoded in Code Comments 58
Automated Test Generation for Integration Testing 55
Totale 21.505
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.098
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 63.098
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021305 0 0 0 0 0 0 0 0 0 0 0 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.646 597 496 621 510 617 306 964 378 606 570 497 484
Totale 21.505