Conferences in Software
Testing, and more
- VAMOS - Int. Workshop on
Variability Modelling of Software-Intensive Systems
- SOFSEM - Int. Conf. on Current
Trends in Theory and Practice of Computer Science
- SANER - IEEE
Int. Conf. on Software Analysis, Evolution, and
Reengineering
- VST - Workshop on Validation,
Analysis and Evolution of Software Tests
- CSER - Conference on Systems
Engineering Research
- DATE - Design, Automation and Test
in Europe
- SPIN - Int. Symp. Model Checking
of Software
- MARS - Workshop on Models for
Formal Analysis of Real Systems
- EDCC
- European Dependable Computing Conference
- SAC - ACM/SIGAPP Symposium on
Applied Computing
- Embedded World Conference
- ICT.OPEN - Conference for Dutch
ICT-Research
- ICSE - Int. Conf. on
Software Engineering
- FORMALISE -
Int. Conf. on Formal Methods in Software Engineering
- AST - ACM/IEEE
Int. Conf. on Automation of Software Test
- DeepTest - Int. Workshop on Deep
Learning for Testing and Testing for Deep Learning
- FTW - Int. Flaky Test Workshop
- SBFT - Int. Workshop on
Search-Based and Fuzz Testing
- SWQD - Software Quality Days
- ENASE - Int. Conf. on Evaluation
of Novel Approaches to Software Engineering
- CIbSE - Iberoamerican Conference
on Software Engineering
- ICCPS - ACM/IEEE
Int. Conf. on Cyber-Physical Systems
- TestNet
- TestNet Voorjaarsevenement 2024
Utrecht, Nederland, May 15, 2023
- TestNet
Najaarsevenement 2024
Oct. 9, 2024
https://www.testnet.org
- SOFTENG - Int. Conf. on Advances
and Trends in Software Engineering
- ICST - Int. Conf. on
Software Testing, Verification, and Validation
- A-MOST - Workshop
on Advances in Model Based Testing
- AIST - Workshop
on Artificial Intelligence in Software Testing
- CCIW - CI/CD Industry Workshop
- InSTA - Workshop
on Software Test Architecture
- ITEQS - Workshop
on Testing Extra-Functional Properties and Quality Characteristics
of Software Systems
- IWCT - Workshop
on Combinatorial Testing
- MODAL - NSF
Workshop on Infrastructure for Mobile App Data Collection &
Analysis
- Mutation - Workshop
on Mutation Analysis
- NEXTA - Workshop
on the Next Level of Test Automation
- TestADS - Testing of Automated
Driving Systems
- TestEd - Workshop
on Software Testing Education
- FAACS - Int. Workshop on Formal
Approaches for Advanced
Computing Systems
- NFM - NASA Formal Methods
Symposium
- EuroSTAR – European Conf. on
Software Testing, Analysis, and Review
- FORTE - IFIP Int. Conf. on Formal
Techniques for Distributed Objects, Components and Systems
- GandALF
- Int. Symp. on Games, Automata, Logics, and Formal Verification
- IEEE/IFIP Int. Conf. on
Dependable Systems and Networks
- VERDI - Int. Workshop on Verification &
Validation of Dependable Cyber-Physical Systems
- LCTES - ACM SIGPLAN/SIGBED Int.
Conf. on Languages, Compilers, Tools and Theory of Embedded Systems
- Petri Nets - Int. Conf. on
Application and Theory of Petri Nets and Concurrency
- ABZ - Int. Conf. on Rigorous State
Based Methods
- SAMOS - Int. Conf. on embedded
computer Systems: Architectures, MOdeling and Simulation
- QRS - IEEE Int. Conf. on Software
Quality, Reliability & Security
- LearnAut - Learning and Automata
- ICSOFT – Int. Conf. on Software
Technologies
- STAF - Software Technologies:
Applications and Foundations
- ECMFA - European
Conference on Modelling Foundations and Applications
- FSE - ACM
Int. Conf. on the Foundations of Software Engineering
- CAV - Int. Conf. on Computer Aided
Verification
- TASE - Int.
Symp. on Theoretical Aspects of Software Engineering
- SAT - Int. Conf. on Theory and
Applications of Satisfiability Testing
- ARES - Int. Conf. on
Availability, Reliability and Security
- Euro-Par - Int.
Eur. Conf. on Parallel and Distributed Computing
- SEAA - Euromicro
Conference on Software
Engineering and Advanced Applications
- FDL - Forum on Specification and Design
Languages
- FM - Int. Symp. on on Formal
Methods
- FMICS - Int. Conf. on Formal Methods
for Industrial Critical Systems
- TAP - Int. Conf. on Tests And
Proofs
- FACS - Int. Conf. on Formal
Aspects of Component Software
- FORMATS - Int. Conf. on Formal
Modeling and Analysis of Timed Systems
- CONCUR - Int.Conf. on Concurrency
Theory
- QUATIC
- Int. Conf. on Quality of Information and
Communications Technology
- ISSTA - ACM SIGSOFT Int. Symp. on
Software Testing and Analysis
- A-TEST – Workshop on Automating
Test Case Design, Selection and Evaluation
- VORTEX - Int.
Workshop on Verification and Monitoring at Runtime Execution
- FUZZING - Int.
Fuzzing Workshop
- Gamify: Int. Workshop on
Gamification of Software Development, Verification and Validation
- MET - Int. Workshop on Testing for
Metamorphic Testing
- SAFECOMP - Int. Conf. on
Computer Safety, Reliability, and Security
- CECIIS - Central European
Conference on Information and Intelligent Systems
- MODELS - Int. Conf. on Model
Driven Engineering Languages and Systems
- MODELS
2024
Linz, Austria, Sept. 22-27, 2024
- MoDeVVa - Workshop on Model Driven
Engineering, Verification, and Validation
- MoDeVVa
2024
Linz, Austria, Sept. 22-27, 2024, co-located with MODELS
2024
- SAM - System Analysis and
Modelling Conference
- SAM
2024
Linz,
Austria, Sept. 23-24, 2024,
co-located with MODELS
- VALID - Int. Conf. on Advances in
System Testing and Validation Lifecycle
- VALID
2024
Venice, Italy, Sept. 29
- Oct 3, 2024, part of SoftNet 2024
- ICSEA - Int. Conf. on Software
Engineering Advances
- EMSOFT - Int. Conf. on
Embedded Software
- MEMOCODE -Int. Conf. on Formal
Methods and Models for System Design
- SRDS
- Int. Symposium on Reliable Distributed Systems
- AutomationSTAR – European Test
Automation Conference
- FMCAD - Formal Methods in
Computer-Aided Design
- VECoS - Int. Conf. on
Verification and Evaluation of Computer and Communication Systems
- ATVA – Int. Symp. on
Automated Technology for Verification and Analysis
- AMDE - Int. Workshop on the
Advancements in Model Driven Engineering & software engineering
- ISSRE - Int. Symp. on
Software Reliability Engineering
- ICTSS - IFIP
Int. Conf. on Testing Software and Systems
- SEFM - Int. Conf. on Software
Engineering and Formal Methods
- iFM - Int. Conf. on integrated
Formal Methods
- ICTAC
- Int. Coll. on Theoretical Aspects of Computing
- ICFEM – Int. Conf. on
Formal Engineering Methods
- ICSOC - Int. Conf. on
Service-Oriented Computing
- APSEC - Asia-Pacific Software
Engineering Conference
- MODELSWARD - Int. Conf. on
Model-Based Software and Systems Engineering
- UCAAT - User Conference on
Advanced Automated Testing
- FSEN - Int. Conf. on Fundamentals
of Software Engineering
- ICSE - Int. Conf. on
Software Engineering
- ETAPS - European Joint
Conferences on Theory And Practice of Software
- TACAS - Tools and Algorithms
for the Construction and Analysis of Systems
- FASE - Int. Conf.on Fundamental
Approaches in Software Engineering
Other Conference Lists
Summer / Winter
Schools
- MOVEP
- School on Modelling and Verification of Parallel Processes
- TAROT
-
Int. Summer School on
Software Testing, Verification & Validation
- VTSA - Summer School on
Verification Technology, Systems and Applications
- Marktoberdorf Int. Summer School
on Engineering and Dependable Software Systems
- FAME - Int. School on Foundations
and Advances of Model-Based Engineering
Journals and Special
Issues
Past
Conferences
- STAR EAST - Software
Testing Conference
- ETS - IEEE European Test Symposium
- RTEST - Int. Symp. on Real-Time
and Embedded Systems Technology
- NETYS - Int. Conf. on Networked
Systems
- TTCS - IFIP Int. Conf. on Topics
in Theoretical Computer Science
- IEEE Int. Contest on Software
Testing
- CAST - Conference of the
Association for Software Testing
- DETECT - Int. Workshop on
moDeling, vErification and Testing of dEpendable CriTical systems
- SAST - Brazilian Symposium on
Systematic and Automated Software Testing
- SAST
2020
On-line, Oct. 19-20,
2020
- SOEA -Int. Conf. on Software
Engineering and Applications
- SBST - Search-Based Software
Testing Workshop
- EMMSAD - Int. Conf. on Exploring
Modeling Methods for Systems Analysis and Development
- ISSQ - Int. Symp. on Software
Quality
- STC - IEEE Software Technology
Conference
- ICSME
- Int. Conf. on Software Maintenance and Evolution
- AUST - Autonomous Software Testing
Workshop
- RV - Int. Conf. on Runtime
Verification
- ISoLA – Int. Symp. on Leveraging
Applications of Formal Methods, Verification and Validation
- STV - System Testing and
Validation Workshop
- QA&TEST – Int. Conf. on
Software Quality Assurance and Testing for Safety
and Security
- D-SyMLe - Int. Workshop on
Dependability of Safety-Critical Systems with Machine Learned
Components
- DeepTest - Int. Workshop on
Testing for Deep Learning and Deep Learning for Testing
- SBFT - Int. Workshop on
Search-Based and Fuzz Testing
- SERA - Int. Conf. on Software
Engineering Research, Management and Applications
- AEiC - Ada-Europe Int. Conf. on
Reliable Software Technologies
- IOLTS - Int. Symp.
on On-Line Testing and Robust System Design
- SEPA - Int. Symp. Software
Engineering Processes and Applications
- ICGI - Int. Conf. on Grammatical
Inference
- DSA - Dependable Systems and
Their Applications
- SPLC - Int. Systems and Software
Product Line Conference
- ASE - IEEE/ACM Int. Conf. on
Automated Software Engineering
- SOMET
- Int. Conf. on Intelligent Software Methodologies, Tools, and
Technologies
- FROM – Working Formal Methods
Symposium
- SERD - Int. Conf. on Software
Engineering Research & Development
- RSSRail - Int. Conf. on
Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and
Certification
- ECBS - Int. Conf. on the
Engineering of Computer Based Systems
- QA&TEST – Int. Conf. on
Embedded Software Testing
- FTSCS - Int. Workshop on Formal Techniques for
Safety-Critical Systems
- OVERLAY - Workshop on Artificial
Intelligence and fOrmal VERification, Logic, Automata, and
sYnthesis
- FMAS - Workshop on Formal
Methods for Autonomous Systems
- NWPT - Nordic Workshop on
Programming Theory
- SETTA - Symp. on Dependable
Software Engineering: Theories, Tools and Applications
- SSBSE - Symp. on Search-Based
Software Engineering
- FSTTCS - Ann. Conf. on Foundations
of Software Technology and Theoretical Computer Science