Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.346
AS - Asia 8.585
EU - Europa 7.197
SA - Sud America 1.196
Continente sconosciuto - Info sul continente non disponibili 636
AF - Africa 163
OC - Oceania 76
Totale 39.199
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 20.130
SG - Singapore 2.908
CN - Cina 2.410
IT - Italia 1.522
DE - Germania 1.265
HK - Hong Kong 1.089
CA - Canada 1.076
RU - Federazione Russa 980
VN - Vietnam 976
BR - Brasile 923
SE - Svezia 724
UA - Ucraina 693
IE - Irlanda 578
GB - Regno Unito 435
KR - Corea 270
FR - Francia 248
DK - Danimarca 197
IN - India 181
FI - Finlandia 171
BD - Bangladesh 156
AR - Argentina 97
AT - Austria 89
NL - Olanda 87
TR - Turchia 86
IQ - Iraq 72
AU - Australia 68
MX - Messico 66
ZA - Sudafrica 63
ID - Indonesia 58
PK - Pakistan 51
SA - Arabia Saudita 51
CH - Svizzera 47
JP - Giappone 45
CO - Colombia 38
EC - Ecuador 37
PH - Filippine 33
VE - Venezuela 33
UZ - Uzbekistan 27
ES - Italia 26
MY - Malesia 23
AE - Emirati Arabi Uniti 21
MA - Marocco 21
CL - Cile 20
PL - Polonia 20
BE - Belgio 19
IL - Israele 15
JM - Giamaica 15
JO - Giordania 15
PY - Paraguay 15
CZ - Repubblica Ceca 14
PE - Perù 13
DZ - Algeria 12
EG - Egitto 12
KE - Kenya 12
TH - Thailandia 11
BO - Bolivia 10
NP - Nepal 10
TN - Tunisia 10
EE - Estonia 9
ET - Etiopia 9
GR - Grecia 9
HU - Ungheria 9
AL - Albania 8
AZ - Azerbaigian 8
NZ - Nuova Zelanda 8
OM - Oman 8
TT - Trinidad e Tobago 8
UY - Uruguay 8
HN - Honduras 7
IR - Iran 7
KZ - Kazakistan 7
LB - Libano 7
PS - Palestinian Territory 7
RO - Romania 7
CR - Costa Rica 6
NI - Nicaragua 6
TW - Taiwan 6
KG - Kirghizistan 5
KW - Kuwait 5
LT - Lituania 5
NO - Norvegia 5
BB - Barbados 4
DO - Repubblica Dominicana 4
PR - Porto Rico 4
PT - Portogallo 4
SC - Seychelles 4
SV - El Salvador 4
SY - Repubblica araba siriana 4
BG - Bulgaria 3
BY - Bielorussia 3
GH - Ghana 3
GT - Guatemala 3
LK - Sri Lanka 3
LU - Lussemburgo 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
ZM - Zambia 3
AO - Angola 2
BA - Bosnia-Erzegovina 2
Totale 38.520
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Ashburn 1.886
Woodbridge 1.790
Singapore 1.510
Fairfield 1.314
Hong Kong 1.060
Frankfurt am Main 1.023
Houston 1.021
Toronto 834
San Jose 806
Chandler 771
Jacksonville 746
Wilmington 580
Dublin 561
Seattle 536
Milan 472
Dearborn 454
Cambridge 438
Council Bluffs 418
New York 410
Santa Clara 407
Beijing 331
Hefei 292
Princeton 283
Dallas 281
Seoul 254
Hangzhou 253
Chicago 214
Dong Ket 210
Nanjing 202
The Dalles 196
Ho Chi Minh City 194
Los Angeles 189
Boardman 174
Hanoi 164
Lauterbourg 129
Altamura 126
Rome 124
Lawrence 123
Lachine 121
Moscow 119
Shanghai 104
San Diego 86
Buffalo 82
Columbus 76
Guangzhou 73
Vienna 70
São Paulo 69
Staranzano 68
Nanchang 66
Shenyang 56
Changsha 55
Tianjin 54
Melbourne 52
Zhengzhou 48
Hebei 46
Andover 44
Philadelphia 39
Brooklyn 37
Falls Church 37
Helsinki 36
Jinan 34
Norwalk 34
Huizen 33
London 32
Tokyo 31
Montreal 30
Munich 30
Baghdad 29
San Francisco 29
Jiaxing 28
Phoenix 28
Ottawa 27
Washington 27
Orem 26
Mexico City 25
Mountain View 25
Atlanta 24
Brasília 24
Nuremberg 24
Belo Horizonte 23
Turin 23
Ningbo 22
Campinas 21
Da Nang 21
Dhaka 21
Kunming 21
Naples 20
Salt Lake City 20
Tashkent 20
Chennai 19
Fremont 19
Haiphong 19
Riyadh 19
Amsterdam 18
Biên Hòa 17
Brussels 17
Figino 17
Jakarta 17
Jeddah 17
Totale 26.462
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 750
Combining symbolic execution and search-based testing for programs with complex heap inputs 691
SUSHI: A test generator for programs with complex structured inputs 630
Localizing Faults in Cloud Systems 628
GK-Tail+ An Efficient Approach to Learn Software Models 616
On introducing automatic test case generation in practice: A success story and lessons learned 562
A Survey of Field-based Testing Techniques 534
Predicting failures in multi-tier distributed systems 529
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 500
Software Testing and Analysis: Process, Principles and Techniques 489
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 459
JBSE: A symbolic executor for Java programs with complex heap inputs 442
Reusing constraint proofs in program analysis 418
An Exploratory Study of Field Failures 373
Bidirectional Symbolic Analysis for Effective Branch Testing 361
Symbolic execution of programs with heap inputs 360
Compatibility and regression testing of COTS-component-based software 340
On the integration of software testing and formal analysis 327
Automatic steering of behavioral model inference 326
Generation of integration tests for self-testing components 319
Verifying LTL Properties of Bytecode with Symbolic Execution 318
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 315
Adaptive integration of third-party web services 307
Recent Advances in Automatic Black-Box Testing 301
Structural Coverage of Feasible Code 298
Behavior Capture and Test: Automated Analysis of Component Integration 295
Self-test components for highly reconfigurable systems 294
Voice and data performance measurements in L-express net 290
Petri Nets and Software Engineering 288
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 287
Mining Finite-State Automata with Annotations 287
Towards industrially relevant fault-proneness models 286
A unified high-level Petri net formalism for time-critical systems 286
Adaptive Runtime Verification for Autonomic Communication Infrastructures 284
Using symbolic execution for verifying safety-critical systems 281
Interclass Testing of Object Oriented Software 277
Automatic testing of GUI-based applications 276
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 276
Towards Autonomic Service-Oriented Applications 275
A toolset for automated failure analysis 272
In-Field healing of integration problems with COTS Components 271
Ensuring interoperable service-oriented systems through engineered self-healing 270
Generation of Multi-Formalism State-Space Analysis Tools 266
Testing Object-Oriented Software 265
Dynamic Analysis for Diagnosing Integration Faults 264
Towards self-protecting enterprise applications 262
Towards self-adaptive service-oriented architectures 261
Automated testing of classes 261
Dynamic data flow testing of object oriented systems 261
Graph transformations and software engineering: Success stories and lost chances 260
Dynamic detection of COTS component incompatibility 259
Design for testability for highly reconfigurable component-based systems 256
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 254
Link: Exploiting the Web of Data to Generate Test Inputs 254
Measuring software redundancy 254
SEIM: Static extraction of interaction models 251
Kriging-Based Self-Adaptive Cloud Controllers 251
Testing Software in Production Environments with Data from the Field 249
Iterative model-driven development of adaptable service-based applications 249
Predicting Failures of Autoscaling Distributed Applications 248
An introduction to software testing 247
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 247
Toward Formalizing Structured Analysis 247
Designing self-adaptive service-oriented applications 245
Automatic generation of software behavioral models 245
An empirical evaluation of fault-proneness models 244
Supporting Test Suite Evolution through Test Case Adaptation 244
Research Demonstrations and Posters 243
Deriving models of software fault-proneness 242
A toolbox for automating visual software engineering 242
A Technique for Verifying Component-Based Software 240
Quantifying the complexity of dataflow testing 240
PLCTOOLS: Graph transformation meets PLC design 239
Automatic workarounds for Web applications 238
Automatically repairing test cases for evolving method declarations 238
Introduction to the special section from the ACM international symposium on software testing and analysis 237
Exception handlers for healing component-based systems 236
Test-and-Adapt: An Approach for Improving Service Interchangeability 236
AutoBlackTest: A Tool for Automatic Black-Box Testing 235
SHIWS: A self-healing integrator for web services 231
From Graph Transformation to Software Engineering and Back 231
Toward deeply adaptive societies of digital systems 231
SLA protection models for virtualized data centers 229
LINK 229
Model-driven generation of runtime checks for system properties 229
Inferring state-based behavior models 228
Handling Software Faults with Redundancy 227
Formal interpreters for diagram notations 226
Prevent: An Unsupervised Approach to Predict Software Failures in Production 223
Healing Web applications through automatic workarounds 222
Kriging Controllers for Cloud Applications 221
Contextual integration testing of classes 220
The Ineffectiveness of Domain-Specific Word Embedding Models for GUI Test Reuse 219
Automated GUI refactoring and test script repair 219
Mining behavior models from user-intensive web applications. 219
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis 216
From off-Line to continuous on-line maintenance 215
Engineering self-adaptive systems through feedback loops 215
Testing object oriented software 214
AUTOBLACKTEST 214
Totale 29.876
Salva come PNG Salva come JPEG
Categoria #
all - tutte 120.139
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 120.139
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.687 0 0 0 202 108 118 218 164 169 151 240 317
2022/20233.536 427 914 335 376 377 525 23 169 232 25 94 39
2023/20241.855 80 86 60 169 241 540 299 49 134 13 27 157
2024/20254.450 264 544 157 209 378 165 225 351 610 536 300 711
2025/202610.442 768 693 901 814 884 533 1.461 608 1.007 846 1.066 861
2026/20272.695 275 487 1.208 725 0 0 0 0 0 0 0 0
Totale 39.199