Bicocca Open Archive

Logo unimib boa
PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.845
AS - Asia 8.541
EU - Europa 6.580
SA - Sud America 1.182
AF - Africa 162
OC - Oceania 86
Continente sconosciuto - Info sul continente non disponibili 4
Totale 34.400
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.491
SG - Singapore 2.918
CN - Cina 2.403
DE - Germania 1.279
HK - Hong Kong 1.093
RU - Federazione Russa 985
VN - Vietnam 971
BR - Brasile 921
IT - Italia 890
SE - Svezia 728
UA - Ucraina 693
IE - Irlanda 583
GB - Regno Unito 428
KR - Corea 274
CA - Canada 271
FR - Francia 247
DK - Danimarca 193
IN - India 186
FI - Finlandia 172
TR - Turchia 106
AR - Argentina 98
AT - Austria 96
BD - Bangladesh 96
AU - Australia 76
IQ - Iraq 74
NL - Olanda 74
ZA - Sudafrica 62
MX - Messico 61
PK - Pakistan 53
ID - Indonesia 49
SA - Arabia Saudita 49
CH - Svizzera 45
JP - Giappone 44
CO - Colombia 34
ES - Italia 33
VE - Venezuela 32
EC - Ecuador 31
PH - Filippine 31
UZ - Uzbekistan 27
MY - Malesia 24
CL - Cile 21
MA - Marocco 21
PL - Polonia 20
BE - Belgio 19
AE - Emirati Arabi Uniti 18
IL - Israele 15
PY - Paraguay 15
EG - Egitto 14
JO - Giordania 14
CZ - Repubblica Ceca 12
DZ - Algeria 12
PE - Perù 12
GR - Grecia 11
NO - Norvegia 11
TH - Thailandia 11
TN - Tunisia 11
KE - Kenya 10
NZ - Nuova Zelanda 10
AL - Albania 9
ET - Etiopia 9
HU - Ungheria 9
NP - Nepal 9
AZ - Azerbaigian 8
BO - Bolivia 8
OM - Oman 8
UY - Uruguay 8
IR - Iran 7
LB - Libano 7
PS - Palestinian Territory 7
RO - Romania 7
KG - Kirghizistan 6
KZ - Kazakistan 6
TW - Taiwan 6
KW - Kuwait 5
LT - Lituania 5
BY - Bielorussia 4
DO - Repubblica Dominicana 4
NI - Nicaragua 4
PT - Portogallo 4
RS - Serbia 4
SY - Repubblica araba siriana 4
BG - Bulgaria 3
GH - Ghana 3
JM - Giamaica 3
LU - Lussemburgo 3
SC - Seychelles 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
ZM - Zambia 3
AO - Angola 2
BN - Brunei Darussalam 2
EU - Europa 2
LV - Lettonia 2
MD - Moldavia 2
MN - Mongolia 2
MU - Mauritius 2
PA - Panama 2
PR - Porto Rico 2
SR - Suriname 2
TJ - Tagikistan 2
Totale 34.372
Salva come PNG Salva come JPEG
Città #
Ann Arbor 3.317
Woodbridge 1.789
Singapore 1.515
Ashburn 1.399
Fairfield 1.313
Hong Kong 1.061
Frankfurt am Main 1.028
Houston 1.009
Chandler 775
Jacksonville 746
San Jose 606
Wilmington 577
Dublin 566
Seattle 529
Dearborn 454
Cambridge 438
New York 373
Santa Clara 352
Beijing 330
Hefei 295
Milan 293
Princeton 280
Dallas 259
Seoul 257
Hangzhou 253
Dong Ket 210
Nanjing 204
Chicago 199
The Dalles 194
Ho Chi Minh City 193
Council Bluffs 166
Hanoi 157
Los Angeles 157
Lauterbourg 130
Altamura 126
Boardman 125
Lawrence 122
Lachine 121
Moscow 119
Shanghai 107
San Diego 85
Vienna 78
Buffalo 77
Guangzhou 73
São Paulo 70
Nanchang 66
Toronto 65
Shenyang 56
Changsha 55
Tianjin 54
Melbourne 51
Zhengzhou 48
Hebei 46
Andover 43
Falls Church 37
Helsinki 36
Jinan 34
Norwalk 34
Columbus 33
Huizen 33
London 32
Rome 32
Munich 30
Tokyo 30
Baghdad 29
Jiaxing 28
Mountain View 25
Nuremberg 24
Ottawa 24
Belo Horizonte 23
Mexico City 22
Ningbo 22
Da Nang 21
Kunming 21
Orem 21
Brasília 20
Dhaka 20
Fremont 20
Tashkent 20
Ankara 19
Campinas 19
Chennai 19
Haiphong 19
Montreal 19
Philadelphia 19
Riyadh 19
Salt Lake City 18
Amsterdam 17
Biên Hòa 17
Brussels 17
Jeddah 17
Rio de Janeiro 17
San Francisco 17
Brooklyn 16
Cape Town 16
Edmonton 16
Jakarta 16
Lahore 16
University Park 16
Washington 16
Totale 24.047
Salva come PNG Salva come JPEG
Nome #
Reusing Solutions Modulo Theories 706
Combining symbolic execution and search-based testing for programs with complex heap inputs 657
Localizing Faults in Cloud Systems 588
SUSHI: A test generator for programs with complex structured inputs 581
GK-Tail+ An Efficient Approach to Learn Software Models 566
On introducing automatic test case generation in practice: A success story and lessons learned 510
A Survey of Field-based Testing Techniques 494
Predicting failures in multi-tier distributed systems 490
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 456
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 429
Software Testing and Analysis: Process, Principles and Techniques 420
null 406
JBSE: A symbolic executor for Java programs with complex heap inputs 400
Reusing constraint proofs in program analysis 380
An Exploratory Study of Field Failures 333
Symbolic execution of programs with heap inputs 326
Compatibility and regression testing of COTS-component-based software 310
Bidirectional Symbolic Analysis for Effective Branch Testing 299
On the integration of software testing and formal analysis 292
Automatic steering of behavioral model inference 291
Generation of integration tests for self-testing components 289
Verifying LTL Properties of Bytecode with Symbolic Execution 279
Self-test components for highly reconfigurable systems 277
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 274
Structural Coverage of Feasible Code 272
Adaptive integration of third-party web services 271
Recent Advances in Automatic Black-Box Testing 267
Voice and data performance measurements in L-express net 264
Using symbolic execution for verifying safety-critical systems 263
Towards industrially relevant fault-proneness models 262
Adaptive Runtime Verification for Autonomic Communication Infrastructures 260
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications 258
Behavior Capture and Test: Automated Analysis of Component Integration 256
Interclass Testing of Object Oriented Software 255
A unified high-level Petri net formalism for time-critical systems 253
Petri Nets and Software Engineering 252
Mining Finite-State Automata with Annotations 252
Towards Autonomic Service-Oriented Applications 251
Generation of Multi-Formalism State-Space Analysis Tools 245
In-Field healing of integration problems with COTS Components 244
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability 244
Ensuring interoperable service-oriented systems through engineered self-healing 243
Testing Object-Oriented Software 242
Automatic testing of GUI-based applications 241
A toolset for automated failure analysis 239
Towards self-adaptive service-oriented architectures 231
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 230
Design for testability for highly reconfigurable component-based systems 230
Automated testing of classes 230
Dynamic data flow testing of object oriented systems 230
Toward Formalizing Structured Analysis 226
An empirical evaluation of fault-proneness models 225
Kriging-Based Self-Adaptive Cloud Controllers 225
A toolbox for automating visual software engineering 224
Dynamic Analysis for Diagnosing Integration Faults 224
Graph transformations and software engineering: Success stories and lost chances 224
Iterative model-driven development of adaptable service-based applications 223
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems 223
Dynamic detection of COTS component incompatibility 222
Designing self-adaptive service-oriented applications 222
Measuring software redundancy 222
An introduction to software testing 221
Towards self-protecting enterprise applications 219
SEIM: Static extraction of interaction models 218
A Technique for Verifying Component-Based Software 216
PLCTOOLS: Graph transformation meets PLC design 215
Test-and-Adapt: An Approach for Improving Service Interchangeability 215
Introduction to the special section from the ACM international symposium on software testing and analysis 213
Automatic generation of software behavioral models 213
Supporting Test Suite Evolution through Test Case Adaptation 212
Quantifying the complexity of dataflow testing 212
SHIWS: A self-healing integrator for web services 211
Deriving models of software fault-proneness 211
Testing Software in Production Environments with Data from the Field 209
Formal interpreters for diagram notations 208
Toward deeply adaptive societies of digital systems 208
SLA protection models for virtualized data centers 208
Exception handlers for healing component-based systems 207
Link: Exploiting the Web of Data to Generate Test Inputs 206
Handling Software Faults with Redundancy 205
AutoBlackTest: A Tool for Automatic Black-Box Testing 205
From Graph Transformation to Software Engineering and Back 204
Inferring state-based behavior models 204
Automatically repairing test cases for evolving method declarations 204
Healing Web applications through automatic workarounds 201
LINK 201
Automatic workarounds for Web applications 200
Automated GUI refactoring and test script repair 200
Kriging Controllers for Cloud Applications 196
LuMiNous - model-driven assertion generation for runtime failure detection 194
Research Demonstrations and Posters 194
From off-Line to continuous on-line maintenance 193
Contextual integration testing of classes 192
Model-driven generation of runtime checks for system properties 192
Predicting Failures of Autoscaling Distributed Applications 191
Testing object oriented software 189
Validation of Concurrent ADA Programs using Symbolic Execution 189
AUTOBLACKTEST 188
Mining behavior models from user-intensive web applications. 186
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 184
Totale 26.932
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.038
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 105.038
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021747 0 0 0 0 0 0 0 0 0 0 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/20268.744 777 715 924 839 905 546 1.488 624 1.033 858 35 0
Totale 35.032