Top conferences in software engineering 1–100 of 186 results
Conferences Publications
 
1
ICSE - International Conference on Software Engineering 1654 40
2
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications 724 30
3
CAV - Computer Aided Verification 278 27
4
ESEC - European Software Engineering Conference 276 27
5
ISSTA - International Symposium on Software Testing and Analysis 249 25
6
TACAS - Tools and Algorithms for Construction and Analysis of Systems 233 25
7
AOSD - Aspect-Oriented Software Development 205 22
8
SAC - ACM Symposium on Applied Computing 2316 21
9
ASE - Automated Software Engineering 594 21
10
ITC - International Test Conference 740 20
11
MODELS - Model Driven Engineering Languages and Systems 522 20
12
VEE - International Conference on Virtual Execution Environments 89 20
13
MSR - Mining Software Repositories 243 18
14
VMCAI - Verification, Model Checking and Abstract Interpretation 164 18
15
CP - Principles and Practice of Constraint Programming 307 17
16
ICPC - International Conference on Program Comprehension 262 17
17
SAS(WSA) - Static Analysis Symposium/Workshop on Static Analysis 133 17
18
SPIN - International Workshop on Model Checking of Software 133 17
19
Dagstuhl Seminars 1169 16
20
FoSSaCS - Foundations of Software Science and Computation Structure 174 16
21
FASE - Fundamental Approaches to Software Engineering 186 15
22
FM - World Congress on Formal Methods 134 15
23
Generative Programming and Component Engineering 119 15
24
COMPSAC - International Computer Software and Applications Conference 1044 14
25
CSMR - Conference on Software Maintenance and Reengineering 401 14
26
ICSM - International Conference on Software Maintenance 393 14
27
QEST - Quantitative Evaluation of Systems 286 13
28
SPLC - Software Product Lines 257 13
29
ICGSE - IEEE International Conference on Global Software Engineering 243 13
30
WCRE - Working Conference on Reverse Engineering 230 13
31
FMCAD - Formal Methods in Computer-Aided Design 186 13
32
RTA - Rewriting Techniques and Applications 171 13
33
WIKIS - International Symposium on Wikis 166 13
34
ISMM - International Symposium on Memory Management 84 13
35
ICST - International Conference on Software Testing, Verification, and Validation 602 12
36
ISSRE - International Symposium on Software Reliability Engineering 222 12
37
ECMDAFA - European Conference on Model Driven Architecture - Foundations and Applications 131 12
38
FORMATS - Formal Modeling and Analysis of Timed Systems 110 12
39
SOCO - Software Composition 92 12
40
COORDINATION - Coordination Models and Languages 86 12
41
GTTSE - Generative and Transformational Techniques in Software Engineering 38 12
42
ESEM - Empirical Software Engineering and Measurement 465 11
43
IEEE International Conference on Formal Engineering Methods 170 11
44
ATVA - Automated Technology for Verification and Analysis 170 11
45
SCAM - Source Code Analysis and Manipulation 119 11
46
ISESE - International Symposium on Empirical Software 41 11
47
ACS/IEEE International Conference on Computer Systems and Applications 845 10
48
WETICE - Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises 480 10
49
SEAA - Software Engineering and Advanced Applications 301 10
50
ICECCS - International Conference on Engineering of Complex Computer Systems 279 10
51
OSS - Open Source Software 226 10
52
WICSA - Working IEEE/IFIP Conference on Software Architecture 210 10
53
SEFM - Conference on Software Engineering and Formal Methods 176 10
54
SOFTVIS - Software Visualization 108 10
55
CBSE - Component-Based Software Engineering 108 10
56
TAICPART - Testing: Academic & Industrial Conference - Practice And Research Techniques 108 10
57
WOSP - Workshop on Software and Performance 86 10
58
LOPSTR - Logic Program Synthesis and Transformation 77 10
59
QOSA - Quality of Software Architectures 77 10
60
SNPD - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 1493 9
61
APSEC - Asia-Pacific Software Engineering Conference 476 9
62
QSIC - International Conference on Quality Software 393 9
63
Australian Software Engineering Conference 315 9
64
ISOLA - Leveraging Applications of Formal Methods 254 9
65
SEW - Annual Software Engineering Workshop 135 9
66
FMICS - Formal Methods for Industrial Critical Systems 97 9
67
AMAST - Algebraic Methodology and Software Technology 77 9
68
TAP - Tests and Proofs 56 9
69
ACISICIS - ACIS International Conference on Computer and Information Science 845 8
70
SEKE - Software Engineering and Knowledge Engineering 709 8
71
TASE - Theoretical Aspects of Software Engineering 218 8
72
SOCA - Service-Oriented Computing and Applications 218 8
73
PROFES - Product Focused Software Process Improvement 188 8
74
ECSA - European Conference on Software Architecture 185 8
75
SAFECOMP - International Conference on Computer Safety, Reliability and Security 182 8
76
ICSR - International Conference on Software Reuse 116 8
77
REFSQ - Requirements Engineering: Foundation for Software Quality 116 8
78
HVC - Haifa Verification Conference 92 8
79
IFM - Integrated Formal Methods 81 8
80
MPC - Mathematics of Program Construction 70 8
81
FSEN - Fundamentals of Software Engineering 64 8
82
ICMT - International Conference on Model Transformation 55 8
83
School on Formal Methods for the Design of Computer, Communication and Software Systems 48 8
84
ETX - Eclipse Technology eXchange 33 8
85
FATES/RV - International Workshop on Formal Approaches to Testing of Software 18 8
86
ICSOFT - International Conference on Software and Data Technologies 724 7
87
ICETET - International Conference on Emerging Trends in Engineering & Technology 712 7
88
IRI - Information Reuse and Integration 619 7
89
SERP - Software Engineering Research and Practice 573 7
90
ICSEA - International Conference on Software Engineering Advances 480 7
91
ISCIS - International Symposium on Computer and Information Sciences 444 7
92
Software Engineering Research and Applications 347 7
93
XP Universe - Extreme Programming 285 7
94
IESA - Interoperability for Enterprise Software and Applications 197 7
95
ICSP - International Software Process Workshop 169 7
96
EPEW - European Performance Engineering Workshop 92 7
97
Ershov Memorial Conference 80 7
98
ICCBSS - International Conference on COTS-Based Software Systems 65 7
99
TOOLS - Technology of Object-Oriented Languages and Systems 62 7
100
Formal Methods for Components and Objects 57 7