Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.057
EU - Europa 3.318
AS - Asia 1.916
SA - Sud America 96
AF - Africa 11
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 13.404
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.949
DE - Germania 841
CN - Cina 755
IT - Italia 747
SG - Singapore 690
SE - Svezia 320
IE - Irlanda 284
UA - Ucraina 271
RU - Federazione Russa 235
HK - Hong Kong 194
VN - Vietnam 166
GB - Regno Unito 158
DK - Danimarca 153
CA - Canada 97
BR - Brasile 90
FI - Finlandia 74
AT - Austria 56
FR - Francia 46
CH - Svizzera 31
ID - Indonesia 30
NL - Olanda 25
TR - Turchia 24
BE - Belgio 19
IN - India 18
CZ - Repubblica Ceca 11
MX - Messico 10
PT - Portogallo 10
ES - Italia 9
PL - Polonia 9
JP - Giappone 7
HU - Ungheria 6
IR - Iran 5
AU - Australia 4
PH - Filippine 4
BD - Bangladesh 3
KR - Corea 3
MA - Marocco 3
SC - Seychelles 3
AE - Emirati Arabi Uniti 2
AR - Argentina 2
AZ - Azerbaigian 2
DZ - Algeria 2
GR - Grecia 2
KZ - Kazakistan 2
LV - Lettonia 2
RO - Romania 2
SA - Arabia Saudita 2
TW - Taiwan 2
AL - Albania 1
BG - Bulgaria 1
BY - Bielorussia 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EU - Europa 1
IQ - Iraq 1
JO - Giordania 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LU - Lussemburgo 1
MU - Mauritius 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 13.404
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Frankfurt am Main 766
Woodbridge 740
Fairfield 644
Houston 493
Singapore 443
Chandler 389
Wilmington 342
Ashburn 339
Jacksonville 306
Dublin 279
Seattle 265
Santa Clara 260
Milan 247
Cambridge 205
Dearborn 205
Hong Kong 186
Hangzhou 182
New York 169
Princeton 126
Beijing 108
Dong Ket 102
Nanjing 94
Council Bluffs 82
Boardman 61
Lawrence 55
Rome 54
Shanghai 50
Vienna 50
Altamura 49
Lachine 48
San Diego 36
Guangzhou 34
Nanchang 32
Jakarta 30
Los Angeles 28
Andover 26
Changsha 25
Shenyang 24
Helsinki 21
Lainate 20
Hebei 19
Jinan 19
Brussels 18
Huizen 18
London 18
Toronto 18
Tianjin 17
Ottawa 16
Sacramento 16
Zurich 16
Fremont 13
Ardea 12
Edmonton 12
Kunming 12
Munich 12
Como 11
Jiaxing 11
Mountain View 11
Norwalk 11
Limbiate 10
Ningbo 10
Zhengzhou 10
Auburn Hills 9
Chicago 9
Dallas 9
Desio 9
Segrate 9
Vigevano 9
Falls Church 8
Hefei 8
Kocaeli 8
University Park 8
Caravaggio 7
Caronno Pertusella 7
Hanoi 7
Lugano 7
Monza 7
São Paulo 7
Warsaw 7
Arcore 6
Brno 6
Mexico City 6
Taizhou 6
Bregnano 5
Budapest 5
Genoa 5
Kiev 5
Nuremberg 5
Philadelphia 5
Reggio Nell'emilia 5
Salerno 5
Seveso 5
Varese 5
Venice 5
Bergamo 4
Caserta 4
Figino Serenza 4
Florence 4
Gallarate 4
Totale 10.507
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 586
Combining symbolic execution and search-based testing for programs with complex heap inputs 560
SUSHI: A test generator for programs with complex structured inputs 474
On introducing automatic test case generation in practice: A success story and lessons learned 387
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 367
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 336
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 334
GUI testing in production: Challenges and opportunities 325
Design for testability of ermts applications 321
Facilitating program performance profiling via evolutionary symbolic execution 311
Towards Evidence-Based Testability Measurements 311
Reusing constraint proofs in program analysis 305
JBSE: A symbolic executor for Java programs with complex heap inputs 299
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 257
SUSHI and TARDIS at the SBST2019 Tool Competition 254
Symbolic execution of programs with heap inputs 243
Bidirectional Symbolic Analysis for Effective Branch Testing 216
Using symbolic execution for verifying safety-critical systems 206
Self-test components for highly reconfigurable systems 202
Adaptive integration of third-party web services 200
Structural Coverage of Feasible Code 198
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 197
On the integration of software testing and formal analysis 195
Towards industrially relevant fault-proneness models 194
Adaptive Runtime Verification for Autonomic Communication Infrastructures 190
Towards Autonomic Service-Oriented Applications 179
Verifying LTL Properties of Bytecode with Symbolic Execution 178
Dynamic data flow testing of object oriented systems 177
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 176
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 175
Towards Testing and Analysis of Systems that Use Serialization 174
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 173
Designing self-adaptive service-oriented applications 172
Petri Nets and Software Engineering 172
Big-data applications as self-Adaptive systems of systems 172
An empirical evaluation of fault-proneness models 169
Towards self-adaptive service-oriented architectures 167
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 167
An industrial case study of the effectiveness of test generators 167
Estimating software fault-proneness for tuning testing activities 165
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 165
Design for testability for highly reconfigurable component-based systems 163
Quantifying the complexity of dataflow testing 163
All-Values Symbolic Execution 159
SHIWS: A self-healing integrator for web services 156
Deriving models of software fault-proneness 155
Toward deeply adaptive societies of digital systems 154
Ensuring interoperable service-oriented systems through engineered self-healing 152
PINCETTE - Validating Changes and Upgrades in Networked Software 152
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 150
Assertions to better specify the Amazon bug 142
Early performance testing of distributed software applications 138
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 137
An Experience on Verification of Aspect Properties 134
Test-and-Adapt: An Approach for Improving Service Interchangeability 134
DaTeC: Contextual data flow testing of Java classes 132
Contextual integration testing of classes 131
Automated Test Case Generation for Safety-Critical Software in Scade 121
Proceedings of the 4th international workshop on software quality assurance 118
Automated software testing and analysis: techniques, pratices and tools 115
Performance Testing of Distributed Component Architectures 107
An Eclipse Plug-in for Engineering Service Interchangeability 106
JBSE 105
Automatically generating test cases for safety-critical software via symbolic execution 93
On the Right Objectives of Data Flow Testing 90
Le Metriche Object-Oriented nelle Realtà Aziendali 87
Measuring Software Testability via Automatically Generated Test Cases 67
GUI Testing to the Power of Parallel Q-Learning 66
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 57
Prevent: An Unsupervised Approach to Predict Software Failures in Production 54
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 54
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 31
Totale 13.839
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.435
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 42.435
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020341 0 0 0 0 0 0 0 0 0 127 153 61
2020/20212.298 128 78 168 209 166 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/20251.989 150 402 176 146 240 163 130 204 364 14 0 0
Totale 13.839