Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.385
EU - Europa 2.879
AS - Asia 1.025
SA - Sud America 9
AF - Africa 8
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.287
DE - Germania 817
CN - Cina 664
IT - Italia 588
SE - Svezia 310
IE - Irlanda 284
UA - Ucraina 270
VN - Vietnam 161
GB - Regno Unito 155
DK - Danimarca 153
HK - Hong Kong 133
CA - Canada 94
FI - Finlandia 66
RU - Federazione Russa 54
AT - Austria 46
FR - Francia 44
TR - Turchia 23
BE - Belgio 18
NL - Olanda 18
IN - India 17
CH - Svizzera 15
PT - Portogallo 10
PL - Polonia 8
BR - Brasile 7
ES - Italia 7
CZ - Repubblica Ceca 6
JP - Giappone 6
HU - Ungheria 5
IR - Iran 5
MX - Messico 4
AU - Australia 3
ID - Indonesia 3
KR - Corea 3
PH - Filippine 3
SC - Seychelles 3
SG - Singapore 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.311
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
Hangzhou 182
Milan 176
New York 167
Hong Kong 128
Princeton 126
Beijing 105
Dong Ket 102
Nanjing 94
Lawrence 55
Boardman 51
Altamura 49
Lachine 48
Rome 46
Vienna 45
Shanghai 42
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
Ottawa 16
Sacramento 16
Helsinki 15
Fremont 13
Ardea 12
Edmonton 12
Como 11
Jiaxing 11
Kunming 11
Mountain View 11
Norwalk 11
Limbiate 10
Ningbo 10
Auburn Hills 9
Segrate 9
Vigevano 9
Zhengzhou 9
Falls Church 8
Hefei 8
Kocaeli 8
University Park 8
Caravaggio 7
Caronno Pertusella 7
Desio 7
Warsaw 7
Dallas 6
Munich 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
Chicago 4
Figino Serenza 4
Gallarate 4
Lugano 4
Valmadrera 4
Wilson 4
Arcore 3
Artvin 3
Ceska 3
Duncan 3
Framingham 3
Hounslow 3
Jakarta 3
Las Vegas 3
Marseille 3
Montorfano 3
New Bedfont 3
Parma 3
Paternò 3
Penapolis 3
Totale 9.374
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 545
Combining symbolic execution and search-based testing for programs with complex heap inputs 512
SUSHI: A test generator for programs with complex structured inputs 432
On introducing automatic test case generation in practice: A success story and lessons learned 351
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 290
GUI testing in production: Challenges and opportunities 280
Facilitating program performance profiling via evolutionary symbolic execution 280
Reusing constraint proofs in program analysis 277
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 274
Design for testability of ermts applications 270
Towards Evidence-Based Testability Measurements 269
JBSE: A symbolic executor for Java programs with complex heap inputs 260
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 235
SUSHI and TARDIS at the SBST2019 Tool Competition 224
Symbolic execution of programs with heap inputs 212
Using symbolic execution for verifying safety-critical systems 191
Self-test components for highly reconfigurable systems 185
Bidirectional Symbolic Analysis for Effective Branch Testing 182
Structural Coverage of Feasible Code 180
Towards industrially relevant fault-proneness models 175
Adaptive Runtime Verification for Autonomic Communication Infrastructures 173
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 171
On the integration of software testing and formal analysis 160
Designing self-adaptive service-oriented applications 159
Towards Testing and Analysis of Systems that Use Serialization 157
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 157
An empirical evaluation of fault-proneness models 156
Towards Autonomic Service-Oriented Applications 155
Big-data applications as self-Adaptive systems of systems 154
Dynamic data flow testing of object oriented systems 152
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 149
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 148
Design for testability for highly reconfigurable component-based systems 147
Towards self-adaptive service-oriented architectures 144
Petri Nets and Software Engineering 144
Estimating software fault-proneness for tuning testing activities 143
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 143
Verifying LTL Properties of Bytecode with Symbolic Execution 140
Deriving models of software fault-proneness 140
Quantifying the complexity of dataflow testing 139
Toward deeply adaptive societies of digital systems 138
An industrial case study of the effectiveness of test generators 137
SHIWS: A self-healing integrator for web services 136
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 135
All-Values Symbolic Execution 134
Adaptive integration of third-party web services 133
Ensuring interoperable service-oriented systems through engineered self-healing 132
PINCETTE - Validating Changes and Upgrades in Networked Software 128
Assertions to better specify the Amazon bug 127
Early performance testing of distributed software applications 122
An Experience on Verification of Aspect Properties 122
Contextual integration testing of classes 118
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 118
DaTeC: Contextual data flow testing of Java classes 112
Test-and-Adapt: An Approach for Improving Service Interchangeability 112
Proceedings of the 4th international workshop on software quality assurance 98
Automated software testing and analysis: techniques, pratices and tools 94
Performance Testing of Distributed Component Architectures 91
An Eclipse Plug-in for Engineering Service Interchangeability 84
JBSE 84
Automated Test Case Generation for Safety-Critical Software in Scade 76
Le Metriche Object-Oriented nelle Realtà Aziendali 72
On the Right Objectives of Data Flow Testing 69
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 61
Automatically generating test cases for safety-critical software via symbolic execution 49
GUI Testing to the Power of Parallel Q-Learning 24
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 10
Prevent: An Unsupervised Approach to Predict Software Failures in Production 9
Totale 11.725
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.102
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 29.102
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019521 0 0 0 0 0 0 0 0 0 0 241 280
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.021 59 54 49 118 151 265 180 48 80 14 3 0
Totale 11.725