Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.395
AS - Asia 6.707
EU - Europa 6.249
SA - Sud America 945
AF - Africa 87
OC - Oceania 36
Continente sconosciuto - Info sul continente non disponibili 3
Totale 30.422
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.074
SG - Singapore 2.306
CN - Cina 2.194
DE - Germania 1.256
HK - Hong Kong 1.064
RU - Federazione Russa 972
IT - Italia 842
BR - Brasile 795
SE - Svezia 726
UA - Ucraina 684
IE - Irlanda 576
VN - Vietnam 566
GB - Regno Unito 403
CA - Canada 258
DK - Danimarca 193
FI - Finlandia 166
KR - Corea 157
FR - Francia 105
AT - Austria 92
IN - India 81
TR - Turchia 68
NL - Olanda 66
AR - Argentina 64
MX - Messico 50
CH - Svizzera 39
ID - Indonesia 39
ZA - Sudafrica 39
BD - Bangladesh 36
IQ - Iraq 35
JP - Giappone 31
AU - Australia 26
ES - Italia 24
EC - Ecuador 22
PK - Pakistan 21
BE - Belgio 19
PL - Polonia 18
SA - Arabia Saudita 18
CO - Colombia 13
CL - Cile 12
CZ - Repubblica Ceca 12
IL - Israele 12
AE - Emirati Arabi Uniti 11
JO - Giordania 11
MY - Malesia 11
NO - Norvegia 11
UZ - Uzbekistan 11
VE - Venezuela 11
MA - Marocco 10
NZ - Nuova Zelanda 10
PY - Paraguay 10
EG - Egitto 9
PE - Perù 9
GR - Grecia 8
HU - Ungheria 7
IR - Iran 7
RO - Romania 7
UY - Uruguay 7
DZ - Algeria 5
KE - Kenya 5
AZ - Azerbaigian 4
TN - Tunisia 4
AL - Albania 3
GH - Ghana 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LT - Lituania 3
LU - Lussemburgo 3
NI - Nicaragua 3
PH - Filippine 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
LB - Libano 2
MU - Mauritius 2
NP - Nepal 2
OM - Oman 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
LV - Lettonia 1
MD - Moldavia 1
MM - Myanmar 1
Totale 30.414
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Fairfield 1.313
Singapore 1.215
Ashburn 1.067
Hong Kong 1.045
Frankfurt am Main 1.018
Houston 1.007
Chandler 775
Jacksonville 746
Wilmington 577
Dublin 560
Seattle 529
Dearborn 454
Cambridge 438
Santa Clara 341
New York 324
Beijing 319
Hefei 295
Milan 287
Princeton 280
Dallas 256
Hangzhou 253
Dong Ket 210
Nanjing 204
Council Bluffs 149
Seoul 146
Los Angeles 144
Altamura 126
Lawrence 122
Lachine 121
Boardman 120
Moscow 117
Shanghai 106
The Dalles 85
San Diego 84
Ho Chi Minh City 79
Vienna 75
Guangzhou 69
Buffalo 68
Nanchang 66
São Paulo 63
Toronto 59
Shenyang 55
Changsha 54
Tianjin 52
Hanoi 50
Zhengzhou 47
Hebei 46
Chicago 44
Andover 43
Falls Church 37
Jinan 34
Norwalk 34
Columbus 33
Huizen 33
Helsinki 31
London 31
Rome 29
Jiaxing 28
Munich 27
Mountain View 25
Ottawa 24
Ningbo 22
Nuremberg 22
San Jose 22
Kunming 21
Tokyo 21
Fremont 20
Mexico City 19
Philadelphia 19
Belo Horizonte 18
Brasília 18
Salt Lake City 18
Brussels 17
Campinas 17
Ankara 16
Edmonton 16
Rio de Janeiro 16
San Francisco 16
University Park 16
Washington 16
Jakarta 15
Montreal 15
Auburn Hills 14
Brooklyn 14
Porto Alegre 14
Biên Hòa 13
Elk Grove Village 13
Phoenix 13
Redmond 13
Taizhou 13
Baghdad 12
Limbiate 12
Atlanta 11
Buenos Aires 11
Cape Town 11
Oxford 11
Salvador 11
Stockholm 11
Totale 21.752
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 669
Combining symbolic execution and search-based testing for programs with complex heap inputs 629
Localizing Faults in Cloud Systems 558
SUSHI: A test generator for programs with complex structured inputs 538
GK-Tail+ An Efficient Approach to Learn Software Models 469
Predicting failures in multi-tier distributed systems 464
On introducing automatic test case generation in practice: A success story and lessons learned 462
A Survey of Field-based Testing Techniques 445
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 434
null 406
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 403
JBSE: A symbolic executor for Java programs with complex heap inputs 362
Reusing constraint proofs in program analysis 352
Software Testing and Analysis: Process, Principles and Techniques 340
An Exploratory Study of Field Failures 304
Symbolic execution of programs with heap inputs 290
Compatibility and regression testing of COTS-component-based software 282
Generation of integration tests for self-testing components 263
On the integration of software testing and formal analysis 259
Automatic steering of behavioral model inference 258
Bidirectional Symbolic Analysis for Effective Branch Testing 258
Self-test components for highly reconfigurable systems 251
Adaptive integration of third-party web services 244
Structural Coverage of Feasible Code 243
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 238
Recent Advances in Automatic Black-Box Testing 238
Voice and data performance measurements in L-express net 235
Towards industrially relevant fault-proneness models 234
Verifying LTL Properties of Bytecode with Symbolic Execution 234
Behavior Capture and Test: Automated Analysis of Component Integration 233
Adaptive Runtime Verification for Autonomic Communication Infrastructures 232
Using symbolic execution for verifying safety-critical systems 231
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 227
Testing Object-Oriented Software 219
Interclass Testing of Object Oriented Software 219
Petri Nets and Software Engineering 219
A unified high-level Petri net formalism for time-critical systems 218
Mining Finite-State Automata with Annotations 218
A toolset for automated failure analysis 215
Towards Autonomic Service-Oriented Applications 215
Generation of Multi-Formalism State-Space Analysis Tools 215
Automatic testing of GUI-based applications 215
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 215
Dynamic data flow testing of object oriented systems 211
In-Field healing of integration problems with COTS Components 210
Designing self-adaptive service-oriented applications 209
Automated testing of classes 208
Ensuring interoperable service-oriented systems through engineered self-healing 207
Towards self-adaptive service-oriented architectures 206
Design for testability for highly reconfigurable component-based systems 206
Kriging-Based Self-Adaptive Cloud Controllers 206
Toward Formalizing Structured Analysis 202
Dynamic Analysis for Diagnosing Integration Faults 202
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 201
An introduction to software testing 200
PLCTOOLS: Graph transformation meets PLC design 200
Iterative model-driven development of adaptable service-based applications 199
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 199
An empirical evaluation of fault-proneness models 199
Measuring software redundancy 198
A toolbox for automating visual software engineering 197
Dynamic detection of COTS component incompatibility 196
Towards self-protecting enterprise applications 196
SEIM: Static Inference of Interaction Models 193
Graph transformations and software engineering: Success stories and lost chances 193
Formal interpreters for diagram notations 192
Quantifying the complexity of dataflow testing 192
Deriving models of software fault-proneness 190
A Technique for Verifying Component-Based Software 189
SLA protection models for virtualized data centers 188
Supporting Test Suite Evolution through Test Case Adaptation 188
Introduction to the special section from the ACM international symposium on software testing and analysis 187
Toward deeply adaptive societies of digital systems 186
Healing Web applications through automatic workarounds 185
AutoBlackTest: A Tool for Automatic Black-Box Testing 184
Test-and-Adapt: An Approach for Improving Service Interchangeability 184
Automatic generation of software behavioral models 184
SHIWS: A self-healing integrator for web services 183
Automatic workarounds for Web applications 183
Inferring state-based behavior models 181
Handling Software Faults with Redundancy 181
Automatically repairing test cases for evolving method declarations 181
Kriging Controllers for Cloud Applications 179
Automated GUI refactoring and test script repair 178
LINK 178
From Graph Transformation to Software Engineering and Back 177
Research Demonstrations and Posters 176
Exception handlers for healing component-based systems 174
From off-Line to continuous on-line maintenance 173
Testing Software in Production Environments with Data from the Field 172
LuMiNous - model-driven assertion generation for runtime failure detection 171
Contextual integration testing of classes 169
Testing object oriented software 169
Mining behavior models from user-intensive web applications. 168
Model-driven generation of runtime checks for system properties 168
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 166
AUTOBLACKTEST 166
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 165
Validation of Concurrent ADA Programs using Symbolic Execution 164
Link: Exploiting the Web of Data to Generate Test Inputs 164
Totale 24.126
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.192
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 98.192
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.876 0 0 0 0 0 0 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.766 777 715 924 839 905 546 60 0 0 0 0 0
Totale 31.054