Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.969
AS - Asia 5.238
EU - Europa 4.835
SA - Sud America 649
Continente sconosciuto - Info sul continente non disponibili 452
AF - Africa 117
OC - Oceania 14
Totale 23.274
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.436
SG - Singapore 1.768
IT - Italia 1.481
CN - Cina 1.442
DE - Germania 933
VN - Vietnam 665
HK - Hong Kong 592
RU - Federazione Russa 501
BR - Brasile 489
CA - Canada 445
SE - Svezia 345
UA - Ucraina 295
IE - Irlanda 288
GB - Regno Unito 234
FR - Francia 168
DK - Danimarca 156
KR - Corea 136
IN - India 119
BD - Bangladesh 97
FI - Finlandia 88
AT - Austria 72
NL - Olanda 63
TR - Turchia 60
ID - Indonesia 52
AR - Argentina 51
IQ - Iraq 51
CH - Svizzera 50
JP - Giappone 49
ZA - Sudafrica 45
MX - Messico 41
EC - Ecuador 30
PL - Polonia 29
PH - Filippine 28
PK - Pakistan 28
SA - Arabia Saudita 28
CO - Colombia 25
ES - Italia 24
BE - Belgio 21
CZ - Repubblica Ceca 17
VE - Venezuela 17
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
JM - Giamaica 10
KE - Kenya 10
KZ - Kazakistan 10
PY - Paraguay 10
TN - Tunisia 10
DZ - Algeria 9
GR - Grecia 9
TW - Taiwan 9
AE - Emirati Arabi Uniti 8
JO - Giordania 8
NP - Nepal 8
PE - Perù 8
AL - Albania 7
LT - Lituania 7
EE - Estonia 6
ET - Etiopia 6
HN - Honduras 6
IR - Iran 6
TT - Trinidad e Tobago 6
AZ - Azerbaigian 5
DO - Repubblica Dominicana 5
LB - Libano 5
OM - Oman 5
CR - Costa Rica 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
BB - Barbados 2
CY - Cipro 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
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
BZ - Belize 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
Totale 22.808
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Singapore 1.023
Ashburn 964
Frankfurt am Main 789
Woodbridge 740
Fairfield 644
Hong Kong 564
Houston 505
San Jose 490
Milan 437
Chandler 389
Wilmington 348
Toronto 327
Santa Clara 316
Jacksonville 311
Dublin 282
Seattle 281
Dallas 258
New York 239
Council Bluffs 233
Cambridge 205
Dearborn 205
Beijing 194
Hangzhou 184
Ho Chi Minh City 184
Hefei 182
Staranzano 136
Los Angeles 132
Hanoi 129
Princeton 128
Seoul 127
Chicago 113
Dong Ket 102
Boardman 100
Rome 100
Nanjing 95
The Dalles 90
Columbus 82
Shanghai 67
Lauterbourg 63
Buffalo 62
Lawrence 55
Vienna 54
São Paulo 52
Moscow 50
Altamura 49
Guangzhou 48
Lachine 48
San Diego 40
Tokyo 36
Jakarta 34
Nanchang 32
Changsha 30
Phoenix 30
London 28
Zurich 28
Shenyang 27
Andover 26
Helsinki 26
Munich 25
Philadelphia 25
Baghdad 21
Warsaw 21
Brooklyn 20
Brussels 20
Denver 20
Jinan 20
Lainate 20
Tianjin 20
Colombes 19
Hebei 19
Monza 19
Huizen 18
Atlanta 17
Chennai 17
Sacramento 17
Amsterdam 16
Da Nang 16
Orem 16
Ottawa 16
Jeddah 15
Johannesburg 15
San Francisco 15
Montreal 14
Washington 14
Belo Horizonte 13
Fremont 13
Haiphong 13
Mexico City 13
Nuremberg 13
Ardea 12
Edmonton 12
Jiaxing 12
Kunming 12
Ningbo 12
Quito 12
Boston 11
Como 11
Desio 11
Mountain View 11
Totale 15.517
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 750
Combining symbolic execution and search-based testing for programs with complex heap inputs 691
SUSHI: A test generator for programs with complex structured inputs 629
On introducing automatic test case generation in practice: A success story and lessons learned 562
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 550
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 507
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 505
Design for testability of ermts applications 491
GUI testing in production: Challenges and opportunities 484
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 459
Facilitating program performance profiling via evolutionary symbolic execution 455
Towards Evidence-Based Testability Measurements 452
JBSE: A symbolic executor for Java programs with complex heap inputs 442
Reusing constraint proofs in program analysis 418
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 381
SUSHI and TARDIS at the SBST2019 Tool Competition 379
Bidirectional Symbolic Analysis for Effective Branch Testing 361
Symbolic execution of programs with heap inputs 360
Automated Test Case Generation for Safety-Critical Software in Scade 343
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 336
On the integration of software testing and formal analysis 327
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 326
Verifying LTL Properties of Bytecode with Symbolic Execution 317
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 315
Adaptive integration of third-party web services 307
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 302
Structural Coverage of Feasible Code 298
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 296
Self-test components for highly reconfigurable systems 294
Big-data applications as self-Adaptive systems of systems 293
Automatically generating test cases for safety-critical software via symbolic execution 288
Petri Nets and Software Engineering 288
Towards industrially relevant fault-proneness models 286
An industrial case study of the effectiveness of test generators 285
Adaptive Runtime Verification for Autonomic Communication Infrastructures 284
Using symbolic execution for verifying safety-critical systems 281
Measuring Software Testability via Automatically Generated Test Cases 278
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 276
Towards Autonomic Service-Oriented Applications 275
Ensuring interoperable service-oriented systems through engineered self-healing 270
Towards self-adaptive service-oriented architectures 261
Dynamic data flow testing of object oriented systems 261
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 259
Design for testability for highly reconfigurable component-based systems 256
Towards Testing and Analysis of Systems that Use Serialization 255
Predicting Failures of Autoscaling Distributed Applications 248
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 248
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 247
Designing self-adaptive service-oriented applications 245
An empirical evaluation of fault-proneness models 244
Deriving models of software fault-proneness 242
Quantifying the complexity of dataflow testing 240
Assertions to better specify the Amazon bug 238
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 236
Test-and-Adapt: An Approach for Improving Service Interchangeability 236
Estimating software fault-proneness for tuning testing activities 233
SHIWS: A self-healing integrator for web services 231
Toward deeply adaptive societies of digital systems 231
All-Values Symbolic Execution 227
GUI Testing to the Power of Parallel Q-Learning 224
Prevent: An Unsupervised Approach to Predict Software Failures in Production 223
Contextual integration testing of classes 220
PINCETTE - Validating Changes and Upgrades in Networked Software 220
DaTeC: Contextual data flow testing of Java classes 213
Early performance testing of distributed software applications 209
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 202
An Eclipse Plug-in for Engineering Service Interchangeability 195
Automated software testing and analysis: techniques, pratices and tools 191
An Experience on Verification of Aspect Properties 190
Proceedings of the 4th international workshop on software quality assurance 182
Performance Testing of Distributed Component Architectures 181
Le Metriche Object-Oriented nelle Realtà Aziendali 172
JBSE 171
On the Right Objectives of Data Flow Testing 167
Automated Test Generation for Integration Testing 107
Automated Test Generation from Program Documentation Encoded in Code Comments 97
Hylog: A Hybrid Approach to Logging Text Production in Non-Alphabetic Scripts 31
Totale 23.274
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69.097
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 69.097
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.053 0 0 0 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.769 179 287 866 437 0 0 0 0 0 0 0 0
Totale 23.274