Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.045
EU - Europa 5.836
AS - Asia 3.383
SA - Sud America 255
OC - Oceania 36
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 3
Totale 24.590
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.797
CN - Cina 1.393
DE - Germania 1.213
SG - Singapore 1.015
RU - Federazione Russa 830
IT - Italia 775
SE - Svezia 715
UA - Ucraina 675
IE - Irlanda 575
HK - Hong Kong 454
GB - Regno Unito 361
VN - Vietnam 334
BR - Brasile 234
CA - Canada 230
DK - Danimarca 193
FI - Finlandia 156
FR - Francia 88
AT - Austria 72
NL - Olanda 53
TR - Turchia 46
IN - India 33
AU - Australia 26
CH - Svizzera 24
ES - Italia 22
BE - Belgio 19
ID - Indonesia 16
JP - Giappone 15
MX - Messico 15
ZA - Sudafrica 13
KR - Corea 12
CZ - Repubblica Ceca 11
NO - Norvegia 11
NZ - Nuova Zelanda 10
IL - Israele 8
PK - Pakistan 8
PL - Polonia 8
AR - Argentina 7
HU - Ungheria 7
IQ - Iraq 7
RO - Romania 7
GR - Grecia 6
MY - Malesia 6
SA - Arabia Saudita 6
IR - Iran 5
UZ - Uzbekistan 5
BD - Bangladesh 4
MA - Marocco 4
PE - Perù 4
VE - Venezuela 4
GH - Ghana 3
JO - Giordania 3
LU - Lussemburgo 3
SC - Seychelles 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AZ - Azerbaigian 2
CL - Cile 2
DZ - Algeria 2
EC - Ecuador 2
EU - Europa 2
MU - Mauritius 2
PH - Filippine 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
TN - Tunisia 2
TW - Taiwan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BJ - Benin 1
BY - Bielorussia 1
CG - Congo 1
CO - Colombia 1
EE - Estonia 1
GL - Groenlandia 1
IS - Islanda 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MD - Moldavia 1
NI - Nicaragua 1
OM - Oman 1
PR - Porto Rico 1
TH - Thailandia 1
TJ - Tagikistan 1
UY - Uruguay 1
Totale 24.590
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Fairfield 1.313
Frankfurt am Main 1.006
Houston 1.002
Ashburn 789
Chandler 775
Jacksonville 743
Singapore 608
Wilmington 572
Dublin 559
Seattle 525
Dearborn 454
Hong Kong 439
Cambridge 438
Santa Clara 336
New York 302
Princeton 280
Milan 272
Hangzhou 252
Beijing 216
Dong Ket 210
Nanjing 203
Council Bluffs 144
Altamura 126
Lawrence 122
Lachine 121
Boardman 120
Shanghai 99
San Diego 83
Nanchang 66
Guangzhou 61
Vienna 61
Moscow 57
Toronto 54
Shenyang 52
Tianjin 50
Changsha 47
Hebei 46
Andover 43
Zhengzhou 43
Falls Church 37
Los Angeles 35
Norwalk 34
Huizen 33
Jinan 32
Helsinki 30
Rome 29
Jiaxing 27
London 26
Mountain View 25
Ottawa 24
Ningbo 22
Kunming 21
Fremont 20
Brussels 17
Philadelphia 17
Edmonton 16
São Paulo 16
University Park 16
Munich 15
Auburn Hills 14
Dallas 14
Hefei 14
Nuremberg 14
Redmond 13
Washington 13
Jakarta 12
Limbiate 12
Taizhou 12
The Dalles 11
Chicago 10
Tappahannock 10
Naples 9
Belo Horizonte 8
Mexico City 8
Changchun 7
Edinburgh 7
Kiev 7
Kilburn 7
Lanzhou 7
Oslo 7
San Mateo 7
Brno 6
Budapest 6
Darmstadt 6
Florence 6
Hounslow 6
Lugano 6
Napoli 6
Phoenix 6
Sacramento 6
Serra 6
Tokyo 6
Wollongong 6
Ankara 5
Aracaju 5
Busto Arsizio 5
Groningen 5
Harbin 5
Totale 18.607
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 593
Combining symbolic execution and search-based testing for programs with complex heap inputs 568
Localizing Faults in Cloud Systems 503
SUSHI: A test generator for programs with complex structured inputs 479
GK-Tail+ An Efficient Approach to Learn Software Models 425
null 406
Predicting failures in multi-tier distributed systems 399
On introducing automatic test case generation in practice: A success story and lessons learned 393
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 385
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 371
A Survey of Field-based Testing Techniques 362
Reusing constraint proofs in program analysis 307
JBSE: A symbolic executor for Java programs with complex heap inputs 301
Symbolic execution of programs with heap inputs 245
An Exploratory Study of Field Failures 245
Compatibility and regression testing of COTS-component-based software 237
Generation of integration tests for self-testing components 226
Bidirectional Symbolic Analysis for Effective Branch Testing 218
Automatic steering of behavioral model inference 212
Using symbolic execution for verifying safety-critical systems 211
Self-test components for highly reconfigurable systems 204
Adaptive integration of third-party web services 202
Structural Coverage of Feasible Code 201
On the integration of software testing and formal analysis 199
Recent Advances in Automatic Black-Box Testing 196
Towards industrially relevant fault-proneness models 195
Adaptive Runtime Verification for Autonomic Communication Infrastructures 193
Voice and data performance measurements in L-express net 192
Behavior Capture and Test: Automated Analysis of Component Integration 190
A toolset for automated failure analysis 185
Automated testing of classes 185
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 184
A unified high-level Petri net formalism for time-critical systems 183
Verifying LTL Properties of Bytecode with Symbolic Execution 182
Towards Autonomic Service-Oriented Applications 182
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 180
Software Testing and Analysis: Process, Principles and Techniques 180
Interclass Testing of Object Oriented Software 179
Dynamic data flow testing of object oriented systems 179
Automatic testing of GUI-based applications 178
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 178
Generation of Multi-Formalism State-Space Analysis Tools 177
Designing self-adaptive service-oriented applications 176
Petri Nets and Software Engineering 176
Mining Finite-State Automata with Annotations 176
In-Field healing of integration problems with COTS Components 174
Dynamic Analysis for Diagnosing Integration Faults 174
Testing Object-Oriented Software 173
Kriging-Based Self-Adaptive Cloud Controllers 173
An empirical evaluation of fault-proneness models 172
PLCTOOLS: Graph transformation meets PLC design 172
Towards self-adaptive service-oriented architectures 171
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 171
Toward Formalizing Structured Analysis 170
Quantifying the complexity of dataflow testing 167
Measuring software redundancy 167
Design for testability for highly reconfigurable component-based systems 166
An introduction to software testing 164
Formal interpreters for diagram notations 163
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 163
Iterative model-driven development of adaptable service-based applications 162
A toolbox for automating visual software engineering 162
Graph transformations and software engineering: Success stories and lost chances 162
Supporting Test Suite Evolution through Test Case Adaptation 161
SHIWS: A self-healing integrator for web services 158
Towards self-protecting enterprise applications 158
Deriving models of software fault-proneness 158
Introduction to the special section from the ACM international symposium on software testing and analysis 156
Ensuring interoperable service-oriented systems through engineered self-healing 155
Toward deeply adaptive societies of digital systems 155
Automatically repairing test cases for evolving method declarations 155
SLA protection models for virtualized data centers 154
Kriging Controllers for Cloud Applications 154
Dynamic detection of COTS component incompatibility 153
Handling Software Faults with Redundancy 153
SEIM: Static Inference of Interaction Models 152
Automatic generation of software behavioral models 152
From off-Line to continuous on-line maintenance 150
Healing Web applications through automatic workarounds 149
A Technique for Verifying Component-Based Software 149
Research Demonstrations and Posters 148
Automated GUI refactoring and test script repair 148
LuMiNous - model-driven assertion generation for runtime failure detection 146
Exception Handlers for Healing Component Based Systems 145
Mining behavior models from user-intensive web applications. 144
From Graph Transformation to Software Engineering and Back 143
AutoBlackTest: A Tool for Automatic Black-Box Testing 143
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 141
Inferring state-based behavior models 140
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 140
Introduction to the special section on FASE 2003 140
Testing object oriented software 139
Validation of Concurrent ADA Programs using Symbolic Execution 139
LINK 139
AUTOBLACKTEST 137
Test-and-Adapt: An Approach for Improving Service Interchangeability 137
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 136
Cross-checking oracles from intrinsic software redundancy 135
Contextual integration testing of classes 134
DaTeC: Contextual data flow testing of Java classes 134
Totale 20.194
Salva come PNG Salva come JPEG
Categoria #
all - tutte 79.925
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 79.925
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020527 0 0 0 0 0 0 0 0 0 154 269 104
2020/20213.259 216 115 271 360 212 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/20253.527 271 552 168 212 388 177 228 357 638 536 0 0
Totale 25.222