Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.105
EU - Europa 3.918
AS - Asia 3.768
SA - Sud America 481
AF - Africa 59
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 1
Totale 17.343
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.948
CN - Cina 1.267
SG - Singapore 1.253
DE - Germania 911
IT - Italia 809
HK - Hong Kong 531
RU - Federazione Russa 496
BR - Brasile 396
VN - Vietnam 396
SE - Svezia 342
UA - Ucraina 288
IE - Irlanda 284
GB - Regno Unito 193
DK - Danimarca 153
CA - Canada 120
FR - Francia 95
FI - Finlandia 83
KR - Corea 76
AT - Austria 69
IN - India 45
ID - Indonesia 43
CH - Svizzera 39
NL - Olanda 35
TR - Turchia 32
ZA - Sudafrica 30
AR - Argentina 29
MX - Messico 25
PL - Polonia 25
BD - Bangladesh 24
JP - Giappone 21
BE - Belgio 19
EC - Ecuador 19
CZ - Repubblica Ceca 16
ES - Italia 14
IQ - Iraq 14
PT - Portogallo 13
CO - Colombia 11
PK - Pakistan 10
AU - Australia 9
GR - Grecia 9
PY - Paraguay 8
CL - Cile 7
MA - Marocco 7
HU - Ungheria 6
IR - Iran 6
KZ - Kazakistan 6
TN - Tunisia 6
EG - Egitto 5
LT - Lituania 5
MY - Malesia 5
SA - Arabia Saudita 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
DZ - Algeria 4
JO - Giordania 4
LB - Libano 4
PE - Perù 4
PH - Filippine 4
TW - Taiwan 4
UZ - Uzbekistan 4
AL - Albania 3
AZ - Azerbaigian 3
DO - Repubblica Dominicana 3
JM - Giamaica 3
KE - Kenya 3
RO - Romania 3
SC - Seychelles 3
LV - Lettonia 2
NZ - Nuova Zelanda 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
BG - Bulgaria 1
BY - Bielorussia 1
DM - Dominica 1
EE - Estonia 1
EU - Europa 1
HN - Honduras 1
IL - Israele 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
Totale 17.343
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Frankfurt am Main 781
Singapore 750
Woodbridge 740
Fairfield 644
Ashburn 554
Hong Kong 519
Houston 499
Chandler 389
Wilmington 346
Jacksonville 308
Dublin 279
Milan 272
Seattle 272
Santa Clara 269
Dallas 239
Cambridge 205
Dearborn 205
New York 192
Beijing 189
Hangzhou 182
Hefei 182
Princeton 126
Dong Ket 102
Ho Chi Minh City 99
Los Angeles 95
Nanjing 94
Council Bluffs 82
Seoul 73
Shanghai 66
Boardman 61
Hanoi 61
Lawrence 55
Rome 54
Vienna 52
Buffalo 50
Altamura 49
Lachine 48
Moscow 48
Guangzhou 46
São Paulo 43
The Dalles 38
San Diego 37
Jakarta 33
Nanchang 32
Changsha 29
Chicago 28
Toronto 27
Andover 26
London 26
Shenyang 26
Helsinki 22
Munich 21
Jinan 20
Lainate 20
Colombes 19
Hebei 19
Tianjin 19
Warsaw 19
Brussels 18
Columbus 18
Huizen 18
Zurich 18
Tokyo 17
Ottawa 16
Sacramento 16
Fremont 13
Ardea 12
Edmonton 12
Jiaxing 12
Kunming 12
Nuremberg 12
Phoenix 12
Brooklyn 11
Como 11
Johannesburg 11
Mountain View 11
Norwalk 11
Zhengzhou 11
Belo Horizonte 10
Desio 10
Limbiate 10
Mexico City 10
Ningbo 10
Rio de Janeiro 10
Auburn Hills 9
Chennai 9
Quito 9
Segrate 9
Stockholm 9
Vigevano 9
Amsterdam 8
Atlanta 8
Campinas 8
Falls Church 8
Kocaeli 8
Philadelphia 8
Porto Alegre 8
San Francisco 8
University Park 8
Totale 12.587
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 666
Combining symbolic execution and search-based testing for programs with complex heap inputs 624
SUSHI: A test generator for programs with complex structured inputs 532
On introducing automatic test case generation in practice: A success story and lessons learned 459
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 415
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 410
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 398
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 389
Facilitating program performance profiling via evolutionary symbolic execution 387
GUI testing in production: Challenges and opportunities 384
Design for testability of ermts applications 381
Towards Evidence-Based Testability Measurements 376
JBSE: A symbolic executor for Java programs with complex heap inputs 359
Reusing constraint proofs in program analysis 349
SUSHI and TARDIS at the SBST2019 Tool Competition 320
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 311
Symbolic execution of programs with heap inputs 283
On the integration of software testing and formal analysis 255
Bidirectional Symbolic Analysis for Effective Branch Testing 254
Self-test components for highly reconfigurable systems 246
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 244
Adaptive integration of third-party web services 243
Structural Coverage of Feasible Code 242
Automated Test Case Generation for Safety-Critical Software in Scade 236
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 235
Adaptive Runtime Verification for Autonomic Communication Infrastructures 230
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 230
Towards industrially relevant fault-proneness models 229
Verifying LTL Properties of Bytecode with Symbolic Execution 229
Using symbolic execution for verifying safety-critical systems 229
Big-data applications as self-Adaptive systems of systems 227
An industrial case study of the effectiveness of test generators 226
Petri Nets and Software Engineering 216
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 214
Towards Autonomic Service-Oriented Applications 213
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 210
Designing self-adaptive service-oriented applications 208
Dynamic data flow testing of object oriented systems 207
Towards Testing and Analysis of Systems that Use Serialization 205
Ensuring interoperable service-oriented systems through engineered self-healing 204
Towards self-adaptive service-oriented architectures 203
Design for testability for highly reconfigurable component-based systems 203
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 201
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 199
An empirical evaluation of fault-proneness models 197
Estimating software fault-proneness for tuning testing activities 193
Quantifying the complexity of dataflow testing 191
Deriving models of software fault-proneness 188
Automatically generating test cases for safety-critical software via symbolic execution 185
Toward deeply adaptive societies of digital systems 184
All-Values Symbolic Execution 181
Test-and-Adapt: An Approach for Improving Service Interchangeability 181
SHIWS: A self-healing integrator for web services 180
Assertions to better specify the Amazon bug 177
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 173
PINCETTE - Validating Changes and Upgrades in Networked Software 172
Contextual integration testing of classes 167
Early performance testing of distributed software applications 167
An Experience on Verification of Aspect Properties 161
Measuring Software Testability via Automatically Generated Test Cases 160
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 157
DaTeC: Contextual data flow testing of Java classes 155
Automated software testing and analysis: techniques, pratices and tools 145
Proceedings of the 4th international workshop on software quality assurance 143
An Eclipse Plug-in for Engineering Service Interchangeability 138
Predicting Failures of Autoscaling Distributed Applications 137
GUI Testing to the Power of Parallel Q-Learning 136
Prevent: An Unsupervised Approach to Predict Software Failures in Production 135
Performance Testing of Distributed Component Architectures 135
JBSE 129
Le Metriche Object-Oriented nelle Realtà Aziendali 117
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 114
On the Right Objectives of Data Flow Testing 110
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies 95
Totale 17.784
Salva come PNG Salva come JPEG
Categoria #
all - tutte 53.819
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 53.819
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.549 0 0 0 0 0 227 211 223 192 226 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/20262.925 597 496 621 510 617 84 0 0 0 0 0 0
Totale 17.784