Top conferences in software engineering 1–100 of 285 results
Conferences Publications
 
1
ICSE - International Conference on Software Engineering 4689 118
2
ITC - International Test Conference 4474 89
3
CAV - Computer Aided Verification 1072 88
4
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications 1824 59
5
SPIN - International Workshop on Model Checking of Software 643 59
6
TACAS - Tools and Algorithms for Construction and Analysis of Systems 670 57
7
ICSM - International Conference on Software Maintenance 1489 56
8
CP - Principles and Practice of Constraint Programming 1246 54
9
IFIP - World Computer Congress 2830 49
10
Requirements Engineering 407 47
11
Dagstuhl Seminars 3060 46
12
AOSD - Aspect-Oriented Software Development 347 46
13
SAS(WSA) - Static Analysis Symposium/Workshop on Static Analysis 555 45
14
ASE - Automated Software Engineering 1204 44
15
ESEC - European Software Engineering Conference 690 44
16
WCRE - Working Conference on Reverse Engineering 642 43
17
SAC - ACM Symposium on Applied Computing 4598 42
18
UML - The Unified Modeling Language 476 42
19
FM - World Congress on Formal Methods 781 39
20
ISSRE - International Symposium on Software Reliability Engineering 868 37
21
ICPC - International Conference on Program Comprehension 633 37
22
RTA - Rewriting Techniques and Applications 698 36
23
TAPSOFT - Theory and Practice of Software Development 393 35
24
ISSTA - International Symposium on Software Testing and Analysis 356 35
25
Fall Joint Computer Conference 314 35
26
COMPSAC - International Computer Software and Applications Conference 3405 34
27
METRICS - IEEE International Software Metrics Symposium 337 33
28
INRIA - INRIA 292 32
29
FASE - Fundamental Approaches to Software Engineering 399 31
30
TOOLS - Technology of Object-Oriented Languages and Systems 1423 30
31
WETICE - Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises 1206 30
32
FoSSaCS - Foundations of Software Science and Computation Structure 399 30
33
FMCAD - Formal Methods in Computer-Aided Design 347 30
34
VMCAI - Verification, Model Checking and Abstract Interpretation 278 30
35
ISMM - International Symposium on Memory Management 232 30
36
ICSR - International Conference on Software Reuse 335 29
37
CSMR - Conference on Software Maintenance and Reengineering 724 28
38
SPLC - Software Product Lines 392 28
39
SEKE - Software Engineering and Knowledge Engineering 1831 27
40
FGCS - Fifth Generation Computer Systems 346 27
41
WOSP - Workshop on Software and Performance 231 27
42
AMAST - Algebraic Methodology and Software Technology 473 26
43
COORDINATION - Coordination Models and Languages 295 26
44
Generative Programming and Component Engineering 226 26
45
APSEC - Asia-Pacific Software Engineering Conference 1305 25
46
WICSA - Working IEEE/IFIP Conference on Software Architecture 413 25
47
SOFTVIS - Software Visualization 186 25
48
EUROMICRO - Conference on Software Engineering and Advanced Applications 1150 23
49
LOPSTR - Logic Program Synthesis and Transformation 402 23
50
MPC - Mathematics of Program Construction 220 23
51
IWSSD - International Workshop on Software Specifications & Design 147 23
52
VEE - International Conference on Virtual Execution Environments 111 23
53
ICSP - International Conference on the Software Process 87 23
54
CMG - Computer Measurement Group Conference 3155 22
55
SCM - System Configuration Management 216 22
56
FIW - Feature Interactions in Telecommunications and Software Systems 207 22
57
PASTE - Workshop on Program Analysis For Software Tools and Engineering 110 22
58
MODELS - Model Driven Engineering Languages and Systems 532 21
59
IEEE International Conference on Formal Engineering Methods 427 21
60
MSR - Mining Software Repositories 268 21
61
CBSE - Component-Based Software Engineering 228 21
62
ISESE - International Symposium on Empirical Software 205 21
63
CSC - ACM Annual Computer Science Conference 1756 20
64
ICECCS - International Conference on Engineering of Complex Computer Systems 706 20
65
QEST - Quantitative Evaluation of Systems 387 20
66
RE - IEEE Int. Conf. on Requirements Engineering 104 20
67
Australian Software Engineering Conference 540 19
68
HASE - High-Assurance Systems 414 19
69
IFM - Integrated Formal Methods 207 19
70
FORMATS - Formal Modeling and Analysis of Timed Systems 184 19
71
IWPSE - International Workshop on Principles of Software Evolution 172 19
72
Formal Methods for Components and Objects 133 19
73
FroCos - Frontiers of Combining Systems 132 19
74
XP Universe - Extreme Programming 645 18
75
SAFECOMP - International Conference on Computer Safety, Reliability and Security 471 18
76
SEFM - Conference on Software Engineering and Formal Methods 337 18
77
SCAM - Source Code Analysis and Manipulation 229 18
78
Meta-Level Architectures and Reflection 57 18
79
ISCIS - International Symposium on Computer and Information Sciences 869 17
80
Ershov Memorial Conference 405 17
81
WIKIS - International Symposium on Wikis 177 17
82
SSR - ACM SIGSOFT Symposium on Software Reusability 67 17
83
ICSP - International Software Process Workshop 628 16
84
QSIC - International Conference on Quality Software 555 16
85
PROFES - Product Focused Software Process Improvement 399 16
86
OOIS - Object Oriented Information Systems 393 16
87
EWSPT - European Workshop on Software Process Technology 244 16
88
REFSQ - Requirements Engineering: Foundation for Software Quality 200 16
89
SOCO - Software Composition 114 16
90
FATES/RV - International Workshop on Formal Approaches to Testing of Software 74 16
91
WOSS - Workshop on Self-Healing Systems 49 16
92
SERP - Software Engineering Research and Practice 1041 15
93
SEW - Annual Software Engineering Workshop 277 15
94
ICCBSS - International Conference on COTS-Based Software Systems 195 15
95
ECMDAFA - European Conference on Model Driven Architecture - Foundations and Applications 155 15
96
SELMAS - Software Engineering for Large-Scale Multi-Agent Systems 100 15
97
CD - IFIP/ACM Working Conference on Component Deployment 85 15
98
Software Product Family Engineering 74 15
99
AMAST - Algebraic Methodology and Software Technology 50 15
100
Automatic Verification Methods for Finite State Systems 35 15