Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.521
AS - Asia 5.234
EU - Europa 4.794
SA - Sud America 647
Continente sconosciuto - Info sul continente non disponibili 452
AF - Africa 116
OC - Oceania 14
Totale 22.778
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.001
SG - Singapore 1.768
IT - Italia 1.455
CN - Cina 1.442
DE - Germania 933
VN - Vietnam 665
HK - Hong Kong 592
RU - Federazione Russa 501
BR - Brasile 488
CA - Canada 440
SE - Svezia 345
UA - Ucraina 295
IE - Irlanda 288
GB - Regno Unito 229
FR - Francia 167
DK - Danimarca 153
KR - Corea 136
IN - India 117
BD - Bangladesh 97
FI - Finlandia 88
AT - Austria 72
NL - Olanda 63
TR - Turchia 59
ID - Indonesia 52
IQ - Iraq 51
AR - Argentina 50
CH - Svizzera 50
JP - Giappone 49
ZA - Sudafrica 44
MX - Messico 39
EC - Ecuador 30
PL - Polonia 29
PK - Pakistan 28
SA - Arabia Saudita 28
PH - Filippine 27
CO - Colombia 25
ES - Italia 23
BE - Belgio 21
VE - Venezuela 17
CZ - Repubblica Ceca 16
MA - Marocco 14
MY - Malesia 14
PT - Portogallo 14
CL - Cile 13
TH - Thailandia 13
AU - Australia 12
EG - Egitto 12
HU - Ungheria 12
UZ - Uzbekistan 12
KE - Kenya 10
KZ - Kazakistan 10
PY - Paraguay 10
TN - Tunisia 10
DZ - Algeria 9
GR - Grecia 9
JM - Giamaica 9
TW - Taiwan 9
AE - Emirati Arabi Uniti 8
JO - Giordania 8
NP - Nepal 8
PE - Perù 8
AL - Albania 7
LT - Lituania 7
ET - Etiopia 6
IR - Iran 6
TT - Trinidad e Tobago 6
AZ - Azerbaigian 5
DO - Repubblica Dominicana 5
HN - Honduras 5
LB - Libano 5
OM - Oman 5
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
CR - Costa Rica 2
CY - Cipro 2
EE - Estonia 2
KH - Cambogia 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
MU - Mauritius 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
PR - Porto Rico 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
VC - Saint Vincent e Grenadine 2
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
EU - Europa 1
Totale 22.313
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Singapore 1.023
Ashburn 871
Frankfurt am Main 789
Woodbridge 740
Fairfield 644
Hong Kong 564
Houston 504
San Jose 488
Milan 428
Chandler 389
Wilmington 346
Toronto 327
Jacksonville 311
Santa Clara 311
Dublin 282
Seattle 279
Dallas 255
New York 234
Council Bluffs 217
Cambridge 205
Dearborn 205
Beijing 194
Hangzhou 184
Ho Chi Minh City 184
Hefei 182
Staranzano 136
Hanoi 129
Los Angeles 129
Seoul 127
Princeton 126
Chicago 108
Dong Ket 102
Boardman 100
Rome 99
Nanjing 95
The Dalles 89
Columbus 80
Shanghai 67
Lauterbourg 63
Buffalo 61
Lawrence 55
Vienna 54
São Paulo 52
Moscow 50
Altamura 49
Guangzhou 48
Lachine 48
San Diego 39
Tokyo 36
Jakarta 34
Nanchang 32
Changsha 30
London 28
Zurich 28
Shenyang 27
Andover 26
Helsinki 26
Phoenix 26
Munich 25
Baghdad 21
Warsaw 21
Brussels 20
Jinan 20
Lainate 20
Tianjin 20
Colombes 19
Hebei 19
Monza 19
Philadelphia 19
Huizen 18
Chennai 17
Denver 17
Sacramento 17
Amsterdam 16
Brooklyn 16
Da Nang 16
Orem 16
Ottawa 16
Jeddah 15
Atlanta 14
Johannesburg 14
Washington 14
Belo Horizonte 13
Fremont 13
Haiphong 13
Mexico City 13
Nuremberg 13
Ardea 12
Edmonton 12
Jiaxing 12
Kunming 12
Montreal 12
Ningbo 12
Quito 12
Boston 11
Como 11
Desio 11
Mountain View 11
New Delhi 11
Totale 15.336
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 746
Combining symbolic execution and search-based testing for programs with complex heap inputs 687
SUSHI: A test generator for programs with complex structured inputs 620
On introducing automatic test case generation in practice: A success story and lessons learned 554
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 544
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 500
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 499
Design for testability of ermts applications 484
GUI testing in production: Challenges and opportunities 477
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 450
Facilitating program performance profiling via evolutionary symbolic execution 449
Towards Evidence-Based Testability Measurements 444
JBSE: A symbolic executor for Java programs with complex heap inputs 438
Reusing constraint proofs in program analysis 414
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 373
SUSHI and TARDIS at the SBST2019 Tool Competition 371
Symbolic execution of programs with heap inputs 352
Bidirectional Symbolic Analysis for Effective Branch Testing 349
Automated Test Case Generation for Safety-Critical Software in Scade 331
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 326
On the integration of software testing and formal analysis 322
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 321
Verifying LTL Properties of Bytecode with Symbolic Execution 306
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 306
Adaptive integration of third-party web services 301
Structural Coverage of Feasible Code 296
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 292
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 292
Self-test components for highly reconfigurable systems 290
Big-data applications as self-Adaptive systems of systems 286
Adaptive Runtime Verification for Autonomic Communication Infrastructures 281
An industrial case study of the effectiveness of test generators 281
Towards industrially relevant fault-proneness models 279
Petri Nets and Software Engineering 279
Automatically generating test cases for safety-critical software via symbolic execution 276
Using symbolic execution for verifying safety-critical systems 275
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 272
Towards Autonomic Service-Oriented Applications 271
Measuring Software Testability via Automatically Generated Test Cases 267
Ensuring interoperable service-oriented systems through engineered self-healing 264
Dynamic data flow testing of object oriented systems 256
Towards self-adaptive service-oriented architectures 255
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 254
Towards Testing and Analysis of Systems that Use Serialization 250
Design for testability for highly reconfigurable component-based systems 250
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 243
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 242
Designing self-adaptive service-oriented applications 241
Predicting Failures of Autoscaling Distributed Applications 237
Quantifying the complexity of dataflow testing 236
An empirical evaluation of fault-proneness models 235
Test-and-Adapt: An Approach for Improving Service Interchangeability 234
Assertions to better specify the Amazon bug 232
Deriving models of software fault-proneness 231
Estimating software fault-proneness for tuning testing activities 230
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 228
SHIWS: A self-healing integrator for web services 228
Toward deeply adaptive societies of digital systems 226
All-Values Symbolic Execution 225
GUI Testing to the Power of Parallel Q-Learning 219
PINCETTE - Validating Changes and Upgrades in Networked Software 217
Prevent: An Unsupervised Approach to Predict Software Failures in Production 214
Contextual integration testing of classes 213
DaTeC: Contextual data flow testing of Java classes 203
Early performance testing of distributed software applications 203
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 200
An Eclipse Plug-in for Engineering Service Interchangeability 191
An Experience on Verification of Aspect Properties 186
Automated software testing and analysis: techniques, pratices and tools 185
Proceedings of the 4th international workshop on software quality assurance 180
Performance Testing of Distributed Component Architectures 178
JBSE 169
Le Metriche Object-Oriented nelle Realtà Aziendali 168
On the Right Objectives of Data Flow Testing 163
Automated Test Generation for Integration Testing 88
Automated Test Generation from Program Documentation Encoded in Code Comments 83
Hylog: A Hybrid Approach to Logging Text Production in Non-Alphabetic Scripts 20
Totale 22.778
Salva come PNG Salva come JPEG
Categoria #
all - tutte 67.674
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 67.674
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.259 0 0 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
2026/20271.273 179 287 807 0 0 0 0 0 0 0 0 0
Totale 22.778