Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.292
AS - Asia 6.365
EU - Europa 6.236
SA - Sud America 923
AF - Africa 79
OC - Oceania 36
Continente sconosciuto - Info sul continente non disponibili 3
Totale 29.934
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.976
CN - Cina 2.180
SG - Singapore 2.005
DE - Germania 1.256
HK - Hong Kong 1.061
RU - Federazione Russa 971
IT - Italia 839
BR - Brasile 786
SE - Svezia 726
UA - Ucraina 684
IE - Irlanda 576
VN - Vietnam 561
GB - Regno Unito 401
CA - Canada 255
DK - Danimarca 193
FI - Finlandia 165
KR - Corea 157
FR - Francia 101
AT - Austria 92
IN - India 74
TR - Turchia 67
NL - Olanda 66
AR - Argentina 58
MX - Messico 48
CH - Svizzera 39
ID - Indonesia 39
ZA - Sudafrica 38
BD - Bangladesh 35
IQ - Iraq 32
JP - Giappone 31
AU - Australia 26
ES - Italia 24
EC - Ecuador 22
BE - Belgio 19
PK - Pakistan 19
PL - Polonia 18
SA - Arabia Saudita 18
CO - Colombia 13
CZ - Repubblica Ceca 12
IL - Israele 12
CL - Cile 11
JO - Giordania 11
MY - Malesia 11
NO - Norvegia 11
UZ - Uzbekistan 11
NZ - Nuova Zelanda 10
VE - Venezuela 10
AE - Emirati Arabi Uniti 9
MA - Marocco 9
EG - Egitto 8
PE - Perù 8
GR - Grecia 7
HU - Ungheria 7
IR - Iran 7
PY - Paraguay 7
RO - Romania 7
UY - Uruguay 6
AZ - Azerbaigian 4
DZ - Algeria 4
TN - Tunisia 4
AL - Albania 3
GH - Ghana 3
KE - Kenya 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LU - Lussemburgo 3
NI - Nicaragua 3
SC - Seychelles 3
SK - Slovacchia (Repubblica Slovacca) 3
TW - Taiwan 3
BY - Bielorussia 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
JM - Giamaica 2
LT - Lituania 2
MU - Mauritius 2
NP - Nepal 2
PH - Filippine 2
PS - Palestinian Territory 2
PT - Portogallo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BJ - Benin 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CG - Congo 1
CI - Costa d'Avorio 1
DM - Dominica 1
EE - Estonia 1
GL - Groenlandia 1
HN - Honduras 1
IS - Islanda 1
LB - Libano 1
LV - Lettonia 1
MD - Moldavia 1
MM - Myanmar 1
OM - Oman 1
Totale 29.928
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Fairfield 1.313
Singapore 1.117
Hong Kong 1.042
Ashburn 1.029
Frankfurt am Main 1.018
Houston 1.004
Chandler 775
Jacksonville 746
Wilmington 577
Dublin 560
Seattle 529
Dearborn 454
Cambridge 438
Santa Clara 341
New York 320
Beijing 319
Hefei 295
Milan 287
Princeton 280
Dallas 256
Hangzhou 253
Dong Ket 210
Nanjing 204
Council Bluffs 147
Seoul 146
Los Angeles 141
Altamura 126
Lawrence 122
Lachine 121
Boardman 120
Moscow 117
Shanghai 106
San Diego 84
Ho Chi Minh City 77
Vienna 75
The Dalles 71
Guangzhou 69
Buffalo 68
Nanchang 66
São Paulo 62
Toronto 58
Shenyang 55
Changsha 54
Tianjin 52
Hanoi 49
Zhengzhou 47
Hebei 46
Chicago 44
Andover 43
Falls Church 37
Jinan 34
Norwalk 34
Columbus 33
Huizen 33
Helsinki 31
London 30
Rome 29
Jiaxing 28
Munich 27
Mountain View 25
Ottawa 24
Ningbo 22
Nuremberg 22
Kunming 21
Tokyo 21
Fremont 20
Mexico City 19
Philadelphia 19
Belo Horizonte 18
Salt Lake City 18
Brussels 17
Campinas 17
Ankara 16
Brasília 16
Edmonton 16
Rio de Janeiro 16
San Francisco 16
University Park 16
Washington 16
Jakarta 15
Auburn Hills 14
Biên Hòa 13
Brooklyn 13
Elk Grove Village 13
Montreal 13
Phoenix 13
Porto Alegre 13
Redmond 13
Taizhou 13
Limbiate 12
Atlanta 11
Baghdad 11
Buenos Aires 11
Cape Town 11
Oxford 11
Salvador 11
Stockholm 11
Viganello 11
Totale 21.563
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 665
Combining symbolic execution and search-based testing for programs with complex heap inputs 624
Localizing Faults in Cloud Systems 551
SUSHI: A test generator for programs with complex structured inputs 532
GK-Tail+ An Efficient Approach to Learn Software Models 463
Predicting failures in multi-tier distributed systems 462
On introducing automatic test case generation in practice: A success story and lessons learned 458
A Survey of Field-based Testing Techniques 438
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 431
null 406
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 398
JBSE: A symbolic executor for Java programs with complex heap inputs 359
Reusing constraint proofs in program analysis 348
Software Testing and Analysis: Process, Principles and Techniques 329
An Exploratory Study of Field Failures 296
Symbolic execution of programs with heap inputs 283
Compatibility and regression testing of COTS-component-based software 278
Generation of integration tests for self-testing components 262
On the integration of software testing and formal analysis 255
Bidirectional Symbolic Analysis for Effective Branch Testing 254
Automatic steering of behavioral model inference 253
Self-test components for highly reconfigurable systems 246
Adaptive integration of third-party web services 243
Structural Coverage of Feasible Code 242
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 234
Recent Advances in Automatic Black-Box Testing 233
Behavior Capture and Test: Automated Analysis of Component Integration 231
Voice and data performance measurements in L-express net 231
Adaptive Runtime Verification for Autonomic Communication Infrastructures 230
Towards industrially relevant fault-proneness models 229
Verifying LTL Properties of Bytecode with Symbolic Execution 228
Using symbolic execution for verifying safety-critical systems 228
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 224
Petri Nets and Software Engineering 215
Testing Object-Oriented Software 214
A toolset for automated failure analysis 214
Towards Autonomic Service-Oriented Applications 213
A unified high-level Petri net formalism for time-critical systems 213
Mining Finite-State Automata with Annotations 213
Interclass Testing of Object Oriented Software 212
Automatic testing of GUI-based applications 212
Generation of Multi-Formalism State-Space Analysis Tools 211
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 210
Designing self-adaptive service-oriented applications 208
In-Field healing of integration problems with COTS Components 208
Automated testing of classes 207
Dynamic data flow testing of object oriented systems 207
Ensuring interoperable service-oriented systems through engineered self-healing 204
Design for testability for highly reconfigurable component-based systems 203
Towards self-adaptive service-oriented architectures 202
Dynamic Analysis for Diagnosing Integration Faults 201
Kriging-Based Self-Adaptive Cloud Controllers 201
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 199
An introduction to software testing 198
Toward Formalizing Structured Analysis 197
An empirical evaluation of fault-proneness models 197
PLCTOOLS: Graph transformation meets PLC design 197
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 196
Iterative model-driven development of adaptable service-based applications 195
A toolbox for automating visual software engineering 194
Measuring software redundancy 194
Dynamic detection of COTS component incompatibility 193
Towards self-protecting enterprise applications 192
Formal interpreters for diagram notations 191
Quantifying the complexity of dataflow testing 191
SEIM: Static Inference of Interaction Models 190
Graph transformations and software engineering: Success stories and lost chances 190
Deriving models of software fault-proneness 187
SLA protection models for virtualized data centers 185
A Technique for Verifying Component-Based Software 185
Supporting Test Suite Evolution through Test Case Adaptation 185
Toward deeply adaptive societies of digital systems 184
Introduction to the special section from the ACM international symposium on software testing and analysis 184
Healing Web applications through automatic workarounds 181
AutoBlackTest: A Tool for Automatic Black-Box Testing 181
Test-and-Adapt: An Approach for Improving Service Interchangeability 181
Automatic generation of software behavioral models 181
SHIWS: A self-healing integrator for web services 180
Handling Software Faults with Redundancy 180
Automatic workarounds for Web applications 180
Automatically repairing test cases for evolving method declarations 179
Kriging Controllers for Cloud Applications 178
Inferring state-based behavior models 176
From Graph Transformation to Software Engineering and Back 175
Research Demonstrations and Posters 174
Automated GUI refactoring and test script repair 174
LINK 174
From off-Line to continuous on-line maintenance 172
Testing Software in Production Environments with Data from the Field 169
LuMiNous - model-driven assertion generation for runtime failure detection 169
Exception handlers for healing component-based systems 169
Contextual integration testing of classes 167
Testing object oriented software 165
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 165
Mining behavior models from user-intensive web applications. 165
AUTOBLACKTEST 164
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 163
Model-driven generation of runtime checks for system properties 163
Validation of Concurrent ADA Programs using Symbolic Execution 162
Link: Exploiting the Web of Data to Generate Test Inputs 161
Totale 23.784
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.336
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 96.336
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.085 0 0 0 0 0 209 258 217 260 394 209 538
2021/20222.434 151 249 347 202 108 118 218 164 169 151 240 317
2022/20233.553 427 915 336 378 379 528 23 172 233 25 98 39
2023/20241.921 80 87 61 179 247 550 309 61 135 17 33 162
2024/20254.593 271 552 168 212 388 177 228 357 638 556 325 721
2025/20264.278 777 715 924 839 905 118 0 0 0 0 0 0
Totale 30.566