Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.806
EU - Europa 5.426
AS - Asia 2.953
SA - Sud America 185
OC - Oceania 31
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 3
Totale 23.427
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.561
CN - Cina 1.375
DE - Germania 1.178
SG - Singapore 765
IT - Italia 758
SE - Svezia 714
UA - Ucraina 659
IE - Irlanda 575
RU - Federazione Russa 511
GB - Regno Unito 359
VN - Vietnam 334
HK - Hong Kong 315
CA - Canada 230
DK - Danimarca 193
BR - Brasile 170
FI - Finlandia 155
FR - Francia 87
AT - Austria 66
NL - Olanda 51
TR - Turchia 42
IN - India 32
CH - Svizzera 24
AU - Australia 21
BE - Belgio 19
ES - Italia 17
ID - Indonesia 14
MX - Messico 13
KR - Corea 12
CZ - Repubblica Ceca 11
NO - Norvegia 11
JP - Giappone 10
NZ - Nuova Zelanda 10
IL - Israele 8
PK - Pakistan 8
PL - Polonia 7
RO - Romania 7
GR - Grecia 6
HU - Ungheria 6
IQ - Iraq 6
MY - Malesia 6
ZA - Sudafrica 6
IR - Iran 5
BD - Bangladesh 4
VE - Venezuela 4
AR - Argentina 3
GH - Ghana 3
LU - Lussemburgo 3
PE - Perù 3
SA - Arabia Saudita 3
SC - Seychelles 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
CL - Cile 2
DZ - Algeria 2
EU - Europa 2
MA - Marocco 2
MU - Mauritius 2
PH - Filippine 2
SK - Slovacchia (Repubblica Slovacca) 2
TN - Tunisia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BJ - Benin 1
CG - Congo 1
CO - Colombia 1
EC - Ecuador 1
EE - Estonia 1
GL - Groenlandia 1
IS - Islanda 1
JO - Giordania 1
KE - Kenya 1
MD - Moldavia 1
OM - Oman 1
PR - Porto Rico 1
PT - Portogallo 1
TH - Thailandia 1
TJ - Tagikistan 1
TW - Taiwan 1
UY - Uruguay 1
Totale 23.427
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 641
Wilmington 572
Dublin 559
Seattle 525
Singapore 520
Dearborn 454
Cambridge 438
Santa Clara 336
Hong Kong 303
New York 301
Princeton 280
Milan 265
Hangzhou 252
Beijing 214
Dong Ket 210
Nanjing 203
Council Bluffs 142
Altamura 126
Lawrence 122
Lachine 121
Boardman 120
Shanghai 93
San Diego 83
Nanchang 66
Vienna 60
Toronto 54
Guangzhou 53
Shenyang 52
Tianjin 50
Changsha 47
Hebei 46
Andover 43
Zhengzhou 43
Falls Church 37
Norwalk 34
Huizen 33
Jinan 32
Helsinki 29
Jiaxing 27
Los Angeles 26
Rome 26
London 25
Mountain View 25
Ottawa 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
São Paulo 10
Tappahannock 10
Naples 9
Changchun 7
Edinburgh 7
Kiev 7
Kilburn 7
Lanzhou 7
Mexico City 7
Nuremberg 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
Belo Horizonte 5
Busto Arsizio 5
Groningen 5
Harbin 5
Islamabad 5
Lübeck 5
Melbourne 5
Segrate 5
Seregno 5
Totale 18.115
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 581
Combining symbolic execution and search-based testing for programs with complex heap inputs 552
Localizing Faults in Cloud Systems 495
SUSHI: A test generator for programs with complex structured inputs 468
GK-Tail+ An Efficient Approach to Learn Software Models 417
null 406
Predicting failures in multi-tier distributed systems 385
On introducing automatic test case generation in practice: A success story and lessons learned 382
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 381
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 365
A Survey of Field-based Testing Techniques 348
Reusing constraint proofs in program analysis 300
JBSE: A symbolic executor for Java programs with complex heap inputs 292
Symbolic execution of programs with heap inputs 237
An Exploratory Study of Field Failures 235
Compatibility and regression testing of COTS-component-based software 230
Generation of integration tests for self-testing components 223
Bidirectional Symbolic Analysis for Effective Branch Testing 211
Automatic steering of behavioral model inference 205
Using symbolic execution for verifying safety-critical systems 199
Self-test components for highly reconfigurable systems 198
Structural Coverage of Feasible Code 196
Towards industrially relevant fault-proneness models 193
Adaptive integration of third-party web services 190
On the integration of software testing and formal analysis 189
Voice and data performance measurements in L-express net 188
Adaptive Runtime Verification for Autonomic Communication Infrastructures 186
Recent Advances in Automatic Black-Box Testing 186
Behavior Capture and Test: Automated Analysis of Component Integration 182
Automated testing of classes 181
A unified high-level Petri net formalism for time-critical systems 177
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 176
Generation of Multi-Formalism State-Space Analysis Tools 174
Dynamic data flow testing of object oriented systems 174
Interclass Testing of Object Oriented Software 173
Verifying LTL Properties of Bytecode with Symbolic Execution 172
Towards Autonomic Service-Oriented Applications 172
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 172
Designing self-adaptive service-oriented applications 170
Petri Nets and Software Engineering 170
An empirical evaluation of fault-proneness models 168
PLCTOOLS: Graph transformation meets PLC design 167
Dynamic Analysis for Diagnosing Integration Faults 166
Mining Finite-State Automata with Annotations 166
Kriging-Based Self-Adaptive Cloud Controllers 166
In-Field healing of integration problems with COTS Components 165
Towards self-adaptive service-oriented architectures 164
Testing Object Oriented Software 164
Toward Formalizing Structured Analysis 164
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 164
Automatic testing of GUI-based applications 163
Measuring software redundancy 162
A toolset for automated failure analysis 160
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 160
An introduction to software testing 159
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 159
Design for testability for highly reconfigurable component-based systems 159
Quantifying the complexity of dataflow testing 159
Formal interpreters for diagram notations 157
Iterative model-driven development of adaptable service-based applications 157
A toolbox for automating visual software engineering 157
Graph transformations and software engineering: Success stories and lost chances 154
SHIWS: A self-healing integrator for web services 153
Supporting Test Suite Evolution through Test Case Adaptation 153
Toward deeply adaptive societies of digital systems 152
Deriving models of software fault-proneness 152
Towards self-protecting enterprise applications 150
Introduction to the special section from the ACM international symposium on software testing and analysis 150
SLA protection models for virtualized data centers 150
Dynamic detection of COTS component incompatibility 149
Ensuring interoperable service-oriented systems through engineered self-healing 149
Handling Software Faults with Redundancy 149
Automatically repairing test cases for evolving method declarations 148
Healing Web applications through automatic workarounds 147
Automatic generation of software behavioral models 147
Kriging Controllers for Cloud Applications 146
A Technique for Verifying Component-Based Software 145
Automated GUI refactoring and test script repair 143
Software Testing and Analysis: Process, Principles and Techniques 143
From off-Line to continuous on-line maintenance 143
Research Demonstrations and Posters 142
LuMiNous - model-driven assertion generation for runtime failure detection 141
SEIM: Static Inference of Interaction Models 139
Exception Handlers for Healing Component Based Systems 139
From Graph Transformation to Software Engineering and Back 137
Mining behavior models from user-intensive web applications. 136
AutoBlackTest: A Tool for Automatic Black-Box Testing 135
Inferring state-based behavior models 133
Testing object oriented software 133
Validation of Concurrent ADA Programs using Symbolic Execution 133
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 133
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 132
Introduction to the special section on FASE 2003 132
Test-and-Adapt: An Approach for Improving Service Interchangeability 131
Model-driven generation of runtime checks for system properties 131
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 130
Cross-checking oracles from intrinsic software redundancy 130
Contextual integration testing of classes 129
LINK 129
DaTeC: Contextual data flow testing of Java classes 128
Totale 19.433
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.149
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 75.149
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020950 0 0 0 0 0 0 0 0 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/20252.361 271 552 168 212 388 177 228 357 8 0 0 0
Totale 24.056