Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.976
EU - Europa 4.845
AS - Asia 1.981
SA - Sud America 32
OC - Oceania 26
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 3
Totale 20.880
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.740
CN - Cina 1.267
DE - Germania 1.150
SE - Svezia 710
IT - Italia 665
UA - Ucraina 659
IE - Irlanda 575
GB - Regno Unito 355
VN - Vietnam 333
HK - Hong Kong 248
CA - Canada 228
DK - Danimarca 192
FI - Finlandia 152
RU - Federazione Russa 92
FR - Francia 78
AT - Austria 59
NL - Olanda 47
TR - Turchia 41
IN - India 29
BR - Brasile 27
CH - Svizzera 23
AU - Australia 18
BE - Belgio 18
ES - Italia 17
KR - Corea 12
JP - Giappone 10
NO - Norvegia 10
NZ - Nuova Zelanda 8
CZ - Repubblica Ceca 7
PL - Polonia 7
RO - Romania 7
GR - Grecia 6
HU - Ungheria 6
MX - Messico 6
MY - Malesia 6
SG - Singapore 6
IL - Israele 5
IR - Iran 5
PK - Pakistan 5
ID - Indonesia 4
GH - Ghana 3
LU - Lussemburgo 3
SA - Arabia Saudita 3
SC - Seychelles 3
DZ - Algeria 2
EU - Europa 2
MA - Marocco 2
MU - Mauritius 2
PH - Filippine 2
TN - Tunisia 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BJ - Benin 1
CL - Cile 1
EE - Estonia 1
GL - Groenlandia 1
IQ - Iraq 1
IS - Islanda 1
JO - Giordania 1
MD - Moldavia 1
PE - Perù 1
PR - Porto Rico 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 20.880
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Fairfield 1.313
Frankfurt am Main 1.003
Houston 1.002
Chandler 775
Jacksonville 743
Ashburn 633
Wilmington 572
Dublin 559
Seattle 525
Dearborn 454
Cambridge 438
New York 300
Princeton 280
Hangzhou 252
Hong Kong 240
Milan 227
Beijing 212
Dong Ket 210
Nanjing 201
Altamura 126
Lawrence 122
Lachine 121
Boardman 105
San Diego 83
Shanghai 70
Nanchang 66
Vienna 56
Toronto 53
Shenyang 52
Tianjin 49
Hebei 46
Changsha 44
Andover 43
Zhengzhou 43
Falls Church 37
Guangzhou 36
Norwalk 34
Huizen 33
Jinan 31
Jiaxing 27
Helsinki 26
London 25
Mountain View 25
Ottawa 24
Ningbo 22
Kunming 21
Rome 21
Fremont 20
Los Angeles 19
Brussels 17
Philadelphia 17
Edmonton 16
University Park 16
Auburn Hills 14
Hefei 14
Redmond 13
Washington 13
Limbiate 12
Taizhou 11
Tappahannock 10
Chicago 9
Dallas 9
Munich 9
Changchun 7
Edinburgh 7
Kiev 7
Kilburn 7
Lanzhou 7
San Mateo 7
Budapest 6
Darmstadt 6
Florence 6
Hounslow 6
Lugano 6
Napoli 6
Oslo 6
Phoenix 6
Sacramento 6
Serra 6
Ankara 5
Busto Arsizio 5
Groningen 5
Islamabad 5
Lübeck 5
Melbourne 5
Segrate 5
Sheffield 5
Xian 5
Kraków 4
Las Vegas 4
Laurel 4
Madrid 4
Montréal 4
Naples 4
Newcastle upon Tyne 4
Radeberg 4
Saarbrücken 4
Tokyo 4
Totale 16.892
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 545
Combining symbolic execution and search-based testing for programs with complex heap inputs 512
Localizing Faults in Cloud Systems 472
SUSHI: A test generator for programs with complex structured inputs 432
null 406
GK-Tail+ An Efficient Approach to Learn Software Models 388
Predicting failures in multi-tier distributed systems 359
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 358
On introducing automatic test case generation in practice: A success story and lessons learned 351
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 345
A Survey of Field-based Testing Techniques 308
Reusing constraint proofs in program analysis 277
JBSE: A symbolic executor for Java programs with complex heap inputs 260
Compatibility and regression testing of COTS-component-based software 216
Symbolic execution of programs with heap inputs 212
An Exploratory Study of Field Failures 210
Generation of integration tests for self-testing components 205
Using symbolic execution for verifying safety-critical systems 191
Self-test components for highly reconfigurable systems 185
Bidirectional Symbolic Analysis for Effective Branch Testing 182
Structural Coverage of Feasible Code 180
Towards industrially relevant fault-proneness models 175
Adaptive Runtime Verification for Autonomic Communication Infrastructures 173
Automated testing of classes 173
Voice and data performance measurements in L-express net 171
Behavior Capture and Test: Automated Analysis of Component Integration 170
Recent Advances in Automatic Black-Box Testing 168
A unified high-level Petri net formalism for time-critical systems 167
Interclass Testing of Object Oriented Software 161
On the integration of software testing and formal analysis 160
Designing self-adaptive service-oriented applications 159
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 158
Generation of Multi-Formalism State-Space Analysis Tools 157
An empirical evaluation of fault-proneness models 156
Towards Autonomic Service-Oriented Applications 155
Toward Formalizing Structured Analysis 153
PLCTOOLS: Graph transformation meets PLC design 153
Testing Object Oriented Software 152
Dynamic data flow testing of object oriented systems 152
In-Field healing of integration problems with COTS Components 151
Kriging-Based Self-Adaptive Cloud Controllers 151
Mining Finite-State Automata with Annotations 149
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 149
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 148
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 147
Design for testability for highly reconfigurable component-based systems 147
A toolbox for automating visual software engineering 147
Automatic steering of behavioral model inference 146
Towards self-adaptive service-oriented architectures 144
Dynamic Analysis for Diagnosing Integration Faults 144
An introduction to software testing 143
Formal interpreters for diagram notations 143
Iterative model-driven development of adaptable service-based applications 143
A toolset for automated failure analysis 143
Petri Nets and Software Engineering 143
Graph transformations and software engineering: Success stories and lost chances 143
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 143
Automatic testing of GUI-based applications 142
Verifying LTL Properties of Bytecode with Symbolic Execution 140
SLA protection models for virtualized data centers 140
Deriving models of software fault-proneness 140
Introduction to the special section from the ACM international symposium on software testing and analysis 139
Handling Software Faults with Redundancy 139
Quantifying the complexity of dataflow testing 139
Toward deeply adaptive societies of digital systems 138
Towards self-protecting enterprise applications 137
SHIWS: A self-healing integrator for web services 136
Kriging Controllers for Cloud Applications 136
Healing Web applications through automatic workarounds 134
Research Demonstrations and Posters 134
A Technique for Verifying Component-Based Software 134
Adaptive integration of third-party web services 133
Automated GUI refactoring and test script repair 133
Ensuring interoperable service-oriented systems through engineered self-healing 132
LuMiNous - model-driven assertion generation for runtime failure detection 132
Measuring software redundancy 132
Supporting Test Suite Evolution through Test Case Adaptation 130
Dynamic detection of COTS component incompatibility 129
Automatically repairing test cases for evolving method declarations 129
Automatic generation of software behavioral models 129
Mining behavior models from user-intensive web applications. 127
From Graph Transformation to Software Engineering and Back 126
Testing object oriented software 124
From off-Line to continuous on-line maintenance 124
Validation of Concurrent ADA Programs using Symbolic Execution 123
Inferring state-based behavior models 122
AutoBlackTest: A Tool for Automatic Black-Box Testing 120
Exception Handlers for Healing Component Based Systems 119
Contextual integration testing of classes 118
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting 118
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 118
Can Graph Grammars Make Formal Methods more Human? 117
Automatic workarounds for Web applications 117
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 116
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis 115
Introduction to the special section on FASE 2003 115
Generating Effective Integration Test Cases from Unit Ones 113
LINK 113
Cross-checking oracles from intrinsic software redundancy 113
DaTeC: Contextual data flow testing of Java classes 112
Totale 17.608
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.769
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 54.769
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.303 0 0 0 0 0 0 0 0 0 209 511 583
2019/20204.176 528 195 293 328 439 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.716 80 87 61 179 247 550 309 61 135 7 0 0
Totale 21.490