Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.399
EU - Europa 2.915
AS - Asia 1.122
SA - Sud America 10
AF - Africa 8
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.459
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.300
DE - Germania 820
CN - Cina 676
IT - Italia 609
SE - Svezia 310
IE - Irlanda 284
UA - Ucraina 270
VN - Vietnam 161
GB - Regno Unito 157
DK - Danimarca 153
HK - Hong Kong 135
CA - Canada 95
SG - Singapore 79
FI - Finlandia 68
RU - Federazione Russa 55
AT - Austria 46
FR - Francia 45
TR - Turchia 23
BE - Belgio 19
NL - Olanda 18
IN - India 17
CH - Svizzera 15
CZ - Repubblica Ceca 11
ID - Indonesia 10
PT - Portogallo 10
BR - Brasile 8
PL - Polonia 8
ES - Italia 7
JP - Giappone 6
HU - Ungheria 5
IR - Iran 5
MX - Messico 4
AU - Australia 3
KR - Corea 3
PH - Filippine 3
SC - Seychelles 3
DZ - Algeria 2
GR - Grecia 2
MA - Marocco 2
TW - Taiwan 2
BG - Bulgaria 1
CL - Cile 1
EE - Estonia 1
EU - Europa 1
KZ - Kazakistan 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
RO - Romania 1
SA - Arabia Saudita 1
VE - Venezuela 1
Totale 11.459
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Frankfurt am Main 764
Woodbridge 740
Fairfield 644
Houston 493
Chandler 389
Wilmington 342
Jacksonville 306
Ashburn 279
Dublin 279
Seattle 265
Cambridge 205
Dearborn 205
Milan 183
Hangzhou 182
New York 167
Hong Kong 128
Princeton 126
Beijing 107
Dong Ket 102
Nanjing 94
Boardman 61
Lawrence 55
Singapore 52
Shanghai 50
Altamura 49
Lachine 48
Rome 47
Vienna 45
San Diego 36
Nanchang 32
Andover 26
Los Angeles 24
Shenyang 24
Changsha 23
Guangzhou 23
Hebei 19
Brussels 18
Huizen 18
Jinan 18
London 18
Tianjin 17
Toronto 17
Helsinki 16
Ottawa 16
Sacramento 16
Fremont 13
Ardea 12
Edmonton 12
Como 11
Jiaxing 11
Kunming 11
Mountain View 11
Norwalk 11
Jakarta 10
Limbiate 10
Ningbo 10
Auburn Hills 9
Munich 9
Segrate 9
Vigevano 9
Zhengzhou 9
Falls Church 8
Hefei 8
Kocaeli 8
University Park 8
Caravaggio 7
Caronno Pertusella 7
Chicago 7
Desio 7
Warsaw 7
Brno 6
Dallas 6
Bregnano 5
Budapest 5
Kiev 5
Philadelphia 5
Reggio Nell'emilia 5
Salerno 5
Seveso 5
Taizhou 5
Venice 5
Bergamo 4
Caserta 4
Figino Serenza 4
Gallarate 4
Lugano 4
Monza 4
Valmadrera 4
Wilson 4
Arcore 3
Artvin 3
Ceska 3
Duncan 3
Framingham 3
Hounslow 3
Las Vegas 3
Marseille 3
Montorfano 3
New Bedfont 3
Totale 9.469
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 553
Combining symbolic execution and search-based testing for programs with complex heap inputs 514
SUSHI: A test generator for programs with complex structured inputs 435
On introducing automatic test case generation in practice: A success story and lessons learned 353
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 345
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 293
GUI testing in production: Challenges and opportunities 284
Facilitating program performance profiling via evolutionary symbolic execution 281
Reusing constraint proofs in program analysis 278
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 277
Design for testability of ermts applications 273
Towards Evidence-Based Testability Measurements 272
JBSE: A symbolic executor for Java programs with complex heap inputs 262
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 236
SUSHI and TARDIS at the SBST2019 Tool Competition 226
Symbolic execution of programs with heap inputs 213
Using symbolic execution for verifying safety-critical systems 192
Self-test components for highly reconfigurable systems 188
Structural Coverage of Feasible Code 183
Bidirectional Symbolic Analysis for Effective Branch Testing 183
Towards industrially relevant fault-proneness models 176
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 174
Adaptive Runtime Verification for Autonomic Communication Infrastructures 173
On the integration of software testing and formal analysis 162
Designing self-adaptive service-oriented applications 161
Towards Testing and Analysis of Systems that Use Serialization 159
An empirical evaluation of fault-proneness models 158
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 158
Towards Autonomic Service-Oriented Applications 157
Big-data applications as self-Adaptive systems of systems 155
Dynamic data flow testing of object oriented systems 153
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 151
Petri Nets and Software Engineering 149
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 149
Design for testability for highly reconfigurable component-based systems 149
Verifying LTL Properties of Bytecode with Symbolic Execution 146
Towards self-adaptive service-oriented architectures 145
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 144
Estimating software fault-proneness for tuning testing activities 143
Deriving models of software fault-proneness 141
Quantifying the complexity of dataflow testing 140
Toward deeply adaptive societies of digital systems 139
An industrial case study of the effectiveness of test generators 138
SHIWS: A self-healing integrator for web services 137
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 136
Adaptive integration of third-party web services 135
Ensuring interoperable service-oriented systems through engineered self-healing 134
All-Values Symbolic Execution 134
Assertions to better specify the Amazon bug 129
PINCETTE - Validating Changes and Upgrades in Networked Software 129
Early performance testing of distributed software applications 123
An Experience on Verification of Aspect Properties 123
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 120
Contextual integration testing of classes 118
DaTeC: Contextual data flow testing of Java classes 114
Test-and-Adapt: An Approach for Improving Service Interchangeability 113
Proceedings of the 4th international workshop on software quality assurance 99
Automated software testing and analysis: techniques, pratices and tools 96
Performance Testing of Distributed Component Architectures 93
An Eclipse Plug-in for Engineering Service Interchangeability 85
JBSE 84
Automated Test Case Generation for Safety-Critical Software in Scade 78
Le Metriche Object-Oriented nelle Realtà Aziendali 73
On the Right Objectives of Data Flow Testing 70
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 69
Automatically generating test cases for safety-critical software via symbolic execution 56
GUI Testing to the Power of Parallel Q-Learning 27
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 17
Prevent: An Unsupervised Approach to Predict Software Failures in Production 11
Measuring Software Testability via Automatically Generated Test Cases 9
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 6
Totale 11.879
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.471
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 31.471
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.110 219 109 130 164 208 253 261 191 234 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/202529 29 0 0 0 0 0 0 0 0 0 0 0
Totale 11.879