Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.644
EU - Europa 5.348
AS - Asia 2.723
SA - Sud America 61
OC - Oceania 31
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 3
Totale 22.830
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.407
CN - Cina 1.351
DE - Germania 1.167
SE - Svezia 712
IT - Italia 710
UA - Ucraina 659
SG - Singapore 630
IE - Irlanda 575
RU - Federazione Russa 510
GB - Regno Unito 359
VN - Vietnam 334
HK - Hong Kong 258
CA - Canada 229
DK - Danimarca 193
FI - Finlandia 155
FR - Francia 81
AT - Austria 61
BR - Brasile 53
NL - Olanda 49
TR - Turchia 42
IN - India 32
CH - Svizzera 23
AU - Australia 21
BE - Belgio 19
ES - Italia 17
ID - Indonesia 14
KR - Corea 12
CZ - Repubblica Ceca 11
NO - Norvegia 11
JP - Giappone 10
NZ - Nuova Zelanda 10
IL - Israele 8
PL - Polonia 7
RO - Romania 7
GR - Grecia 6
HU - Ungheria 6
MX - Messico 6
MY - Malesia 6
PK - Pakistan 6
IR - Iran 5
ZA - Sudafrica 4
GH - Ghana 3
IQ - Iraq 3
LU - Lussemburgo 3
SA - Arabia Saudita 3
SC - Seychelles 3
AR - Argentina 2
CL - Cile 2
DZ - Algeria 2
EU - Europa 2
MA - Marocco 2
MU - Mauritius 2
PE - Perù 2
PH - Filippine 2
TN - Tunisia 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BG - Bulgaria 1
BJ - Benin 1
CG - Congo 1
EE - Estonia 1
GL - Groenlandia 1
IS - Islanda 1
JO - Giordania 1
MD - Moldavia 1
PR - Porto Rico 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TJ - Tagikistan 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 22.830
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Fairfield 1.313
Frankfurt am Main 1.004
Houston 1.002
Chandler 775
Jacksonville 743
Ashburn 639
Wilmington 572
Dublin 559
Seattle 525
Singapore 510
Dearborn 454
Cambridge 438
Santa Clara 336
New York 301
Princeton 280
Hangzhou 252
Hong Kong 248
Milan 240
Beijing 214
Dong Ket 210
Nanjing 203
Altamura 126
Lawrence 122
Lachine 121
Boardman 120
Shanghai 93
San Diego 83
Nanchang 66
Vienna 56
Toronto 54
Shenyang 52
Tianjin 50
Changsha 47
Hebei 46
Andover 43
Zhengzhou 43
Guangzhou 40
Falls Church 37
Norwalk 34
Huizen 33
Jinan 32
Helsinki 29
Jiaxing 27
London 25
Los Angeles 25
Mountain View 25
Ottawa 24
Rome 24
Ningbo 22
Kunming 21
Fremont 20
Brussels 17
Philadelphia 17
Edmonton 16
University Park 16
Munich 15
Auburn Hills 14
Dallas 14
Hefei 14
Redmond 13
Washington 13
Jakarta 12
Limbiate 12
Taizhou 12
Chicago 10
Tappahannock 10
Naples 9
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
Ankara 5
Busto Arsizio 5
Groningen 5
Harbin 5
Islamabad 5
Lübeck 5
Melbourne 5
Segrate 5
Sheffield 5
Shenzhen 5
Wellington 5
Xian 5
Kraków 4
Las Vegas 4
Totale 17.855
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
Localizing Faults in Cloud Systems 489
SUSHI: A test generator for programs with complex structured inputs 461
GK-Tail+ An Efficient Approach to Learn Software Models 408
null 406
On introducing automatic test case generation in practice: A success story and lessons learned 378
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 373
Predicting failures in multi-tier distributed systems 372
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 360
A Survey of Field-based Testing Techniques 335
Reusing constraint proofs in program analysis 296
JBSE: A symbolic executor for Java programs with complex heap inputs 284
Symbolic execution of programs with heap inputs 232
Compatibility and regression testing of COTS-component-based software 225
An Exploratory Study of Field Failures 225
Generation of integration tests for self-testing components 216
Bidirectional Symbolic Analysis for Effective Branch Testing 208
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
Automatic steering of behavioral model inference 186
On the integration of software testing and formal analysis 183
Adaptive Runtime Verification for Autonomic Communication Infrastructures 181
Voice and data performance measurements in L-express net 181
Automated testing of classes 181
Recent Advances in Automatic Black-Box Testing 181
Behavior Capture and Test: Automated Analysis of Component Integration 180
A unified high-level Petri net formalism for time-critical systems 176
Adaptive integration of third-party web services 175
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 172
Interclass Testing of Object Oriented Software 170
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 170
Designing self-adaptive service-oriented applications 169
Towards Autonomic Service-Oriented Applications 168
Generation of Multi-Formalism State-Space Analysis Tools 168
An empirical evaluation of fault-proneness models 167
Petri Nets and Software Engineering 166
PLCTOOLS: Graph transformation meets PLC design 165
Dynamic data flow testing of object oriented systems 165
Verifying LTL Properties of Bytecode with Symbolic Execution 164
Dynamic Analysis for Diagnosing Integration Faults 164
In-Field healing of integration problems with COTS Components 163
Toward Formalizing Structured Analysis 163
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 163
Kriging-Based Self-Adaptive Cloud Controllers 163
Testing Object Oriented Software 162
Mining Finite-State Automata with Annotations 162
Towards self-adaptive service-oriented architectures 161
A toolset for automated failure analysis 159
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 158
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 158
Design for testability for highly reconfigurable component-based systems 158
Quantifying the complexity of dataflow testing 158
An introduction to software testing 155
Automatic testing of GUI-based applications 155
A toolbox for automating visual software engineering 154
Formal interpreters for diagram notations 153
Graph transformations and software engineering: Success stories and lost chances 153
Measuring software redundancy 153
Iterative model-driven development of adaptable service-based applications 152
Deriving models of software fault-proneness 152
Supporting Test Suite Evolution through Test Case Adaptation 150
Toward deeply adaptive societies of digital systems 149
Introduction to the special section from the ACM international symposium on software testing and analysis 148
SHIWS: A self-healing integrator for web services 147
Towards self-protecting enterprise applications 147
Ensuring interoperable service-oriented systems through engineered self-healing 147
SLA protection models for virtualized data centers 147
Handling Software Faults with Redundancy 146
Automatically repairing test cases for evolving method declarations 146
Dynamic detection of COTS component incompatibility 145
A Technique for Verifying Component-Based Software 145
Kriging Controllers for Cloud Applications 144
Automatic generation of software behavioral models 144
Research Demonstrations and Posters 142
From off-Line to continuous on-line maintenance 142
Healing Web applications through automatic workarounds 141
LuMiNous - model-driven assertion generation for runtime failure detection 140
Automated GUI refactoring and test script repair 140
Exception Handlers for Healing Component Based Systems 135
From Graph Transformation to Software Engineering and Back 134
Mining behavior models from user-intensive web applications. 134
Testing object oriented software 132
SEIM: Static Inference of Interaction Models 132
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 130
Validation of Concurrent ADA Programs using Symbolic Execution 130
AutoBlackTest: A Tool for Automatic Black-Box Testing 130
Software Testing and Analysis: Process, Principles and Techniques 130
Test-and-Adapt: An Approach for Improving Service Interchangeability 128
Introduction to the special section on FASE 2003 128
Inferring state-based behavior models 127
Contextual integration testing of classes 127
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 127
Can Graph Grammars Make Formal Methods more Human? 127
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 127
Automatic workarounds for Web applications 126
LINK 125
Model-driven generation of runtime checks for system properties 125
Totale 19.002
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.902
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 70.902
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.393 0 0 0 0 0 516 579 348 423 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/20251.748 271 552 168 212 388 157 0 0 0 0 0 0
Totale 23.443