Bicocca Open Archive

Logo unimib boa
DENARO, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.863
EU - Europa 3.207
AS - Asia 1.584
SA - Sud America 12
AF - Africa 8
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 12.680
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.763
DE - Germania 830
CN - Cina 734
IT - Italia 684
SG - Singapore 455
SE - Svezia 317
IE - Irlanda 284
UA - Ucraina 270
RU - Federazione Russa 232
VN - Vietnam 161
GB - Regno Unito 158
DK - Danimarca 153
HK - Hong Kong 141
CA - Canada 96
FI - Finlandia 71
AT - Austria 47
FR - Francia 45
ID - Indonesia 30
CH - Svizzera 27
TR - Turchia 24
NL - Olanda 23
BE - Belgio 19
IN - India 17
CZ - Repubblica Ceca 11
PT - Portogallo 10
BR - Brasile 9
PL - Polonia 8
ES - Italia 7
JP - Giappone 6
HU - Ungheria 5
IR - Iran 5
AU - Australia 4
MX - Messico 4
PH - Filippine 4
KR - Corea 3
SC - Seychelles 3
DZ - Algeria 2
GR - Grecia 2
MA - Marocco 2
TW - Taiwan 2
AR - Argentina 1
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
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 12.680
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.348
Frankfurt am Main 765
Woodbridge 740
Fairfield 644
Houston 493
Singapore 399
Chandler 389
Wilmington 342
Jacksonville 306
Ashburn 282
Dublin 279
Seattle 265
Santa Clara 258
Milan 226
Cambridge 205
Dearborn 205
Hangzhou 182
New York 168
Hong Kong 134
Princeton 126
Beijing 108
Dong Ket 102
Nanjing 94
Boardman 61
Lawrence 55
Rome 54
Shanghai 50
Altamura 49
Lachine 48
Vienna 45
San Diego 36
Nanchang 32
Jakarta 30
Andover 26
Changsha 25
Guangzhou 25
Los Angeles 24
Shenyang 24
Hebei 19
Helsinki 19
Jinan 19
Brussels 18
Huizen 18
London 18
Toronto 18
Tianjin 17
Ottawa 16
Sacramento 16
Fremont 13
Ardea 12
Edmonton 12
Kunming 12
Munich 12
Zurich 12
Como 11
Jiaxing 11
Mountain View 11
Norwalk 11
Limbiate 10
Ningbo 10
Zhengzhou 10
Auburn Hills 9
Dallas 9
Segrate 9
Vigevano 9
Chicago 8
Falls Church 8
Hefei 8
Kocaeli 8
University Park 8
Caravaggio 7
Caronno Pertusella 7
Desio 7
Lugano 7
Warsaw 7
Arcore 6
Brno 6
Taizhou 6
Bregnano 5
Budapest 5
Kiev 5
Monza 5
Philadelphia 5
Reggio Nell'emilia 5
Salerno 5
Seveso 5
Venice 5
Bergamo 4
Caserta 4
Figino Serenza 4
Florence 4
Gallarate 4
São Paulo 4
Valmadrera 4
Wilson 4
Wuhan 4
Artvin 3
Brescia 3
Ceska 3
Duncan 3
Totale 10.191
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 571
Combining symbolic execution and search-based testing for programs with complex heap inputs 536
SUSHI: A test generator for programs with complex structured inputs 461
On introducing automatic test case generation in practice: A success story and lessons learned 378
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 360
Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data 323
Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control 323
GUI testing in production: Challenges and opportunities 310
Design for testability of ermts applications 309
Facilitating program performance profiling via evolutionary symbolic execution 302
Reusing constraint proofs in program analysis 296
Towards Evidence-Based Testability Measurements 295
JBSE: A symbolic executor for Java programs with complex heap inputs 284
SUSHI and TARDIS at the SBST2019 Tool Competition 247
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 247
Symbolic execution of programs with heap inputs 232
Bidirectional Symbolic Analysis for Effective Branch Testing 207
Using symbolic execution for verifying safety-critical systems 199
Self-test components for highly reconfigurable systems 197
Structural Coverage of Feasible Code 193
Towards industrially relevant fault-proneness models 187
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution 186
On the integration of software testing and formal analysis 183
Adaptive Runtime Verification for Autonomic Communication Infrastructures 180
Adaptive integration of third-party web services 172
Towards Testing and Analysis of Systems that Use Serialization 171
Symbolic execution-driven extraction of the parallel execution plans of Spark applications 171
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 170
Designing self-adaptive service-oriented applications 169
Towards Autonomic Service-Oriented Applications 168
An empirical evaluation of fault-proneness models 167
Petri Nets and Software Engineering 166
Big-data applications as self-Adaptive systems of systems 166
Dynamic data flow testing of object oriented systems 165
Verifying LTL Properties of Bytecode with Symbolic Execution 164
Estimating software fault-proneness for tuning testing activities 164
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 163
Towards self-adaptive service-oriented architectures 161
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 158
An industrial case study of the effectiveness of test generators 158
Design for testability for highly reconfigurable component-based systems 158
Quantifying the complexity of dataflow testing 158
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 155
All-Values Symbolic Execution 154
Deriving models of software fault-proneness 152
Toward deeply adaptive societies of digital systems 149
SHIWS: A self-healing integrator for web services 147
Ensuring interoperable service-oriented systems through engineered self-healing 146
PINCETTE - Validating Changes and Upgrades in Networked Software 144
Assertions to better specify the Amazon bug 135
Early performance testing of distributed software applications 132
An Experience on Verification of Aspect Properties 132
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 130
Contextual integration testing of classes 127
Test-and-Adapt: An Approach for Improving Service Interchangeability 127
DaTeC: Contextual data flow testing of Java classes 124
Proceedings of the 4th international workshop on software quality assurance 116
Exploiting Ethereum after “The Merge”: The Interplay between PoS and MEV Strategies 106
Automated software testing and analysis: techniques, pratices and tools 106
Automated Test Case Generation for Safety-Critical Software in Scade 103
An Eclipse Plug-in for Engineering Service Interchangeability 103
Performance Testing of Distributed Component Architectures 103
JBSE 100
Le Metriche Object-Oriented nelle Realtà Aziendali 82
On the Right Objectives of Data Flow Testing 79
Automatically generating test cases for safety-critical software via symbolic execution 76
GUI Testing to the Power of Parallel Q-Learning 55
Measuring Software Testability via Automatically Generated Test Cases 39
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency 38
A Role and Reward Analysis in Off-chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake 36
Prevent: An Unsupervised Approach to Predict Software Failures in Production 29
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing 12
Totale 13.112
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.301
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 38.301
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.280 0 0 0 0 0 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/20251.262 150 402 176 146 240 148 0 0 0 0 0 0
Totale 13.112