Conferences in Software Testing,
and more
- Euro-Par - Int. Eur. Conf. on Parallel and
Distributed Computing
- FORMATS - Int. Conf. on Formal Modeling and
Analysis of Timed Systems
- CONCUR - Int.Conf. on
Concurrency Theory
- FMICS - Int. Conf. on Formal
Methods for Industrial Critical Systems
- SEAA - Euromicro
Conference on Software Engineering and Advanced Applications
- QUATIC - Int. Conf. on Quality of
Information and Communications Technology
- FDL - Forum on Specification and Design
Languages
- FMCAD - Formal Methods in Computer-Aided Design
- GandALF - Int. Symp. on Games,
Automata, Logics, and Formal Verification
- FROM – Working Formal Methods Symposium
- SAFECOMP - Int. Conf. on Computer Safety,
Reliability, and Security
- VARIABILITY – Int. Conf. on Software and Systems
Reuse, Product Lines, and Configuration
- ISSTA - Int. Symp. on Software Testing and
Analysis
·
MODELS -
Int. Conf. on Model Driven Engineering Languages and Systems
o MODELS 2026
Málaga, Spain, Oct. 4-9, 2026
https://conf.researchr.org/home/models-2026
· SAM - System Analysis and Modelling Conference
o
SAM 2026
Malaga, Spain, Oct. 5-6, 2026, co-located with MODELS 2026
http://sdl-forum.org/Events/SAM2026
- EMSOFT - Int. Conf. on Embedded Software
- MEMOCODE -Int. Conf. on Formal Methods and Models
for System Design
- RV - Int. Conf. on Runtime Verification
- ASE - IEEE/ACM Int. Conf. on Automated
Software Engineering
- SECUTE – Int. Workshop on Software Security
Testing
- ICTSS - IFIP Int. Conf. on Testing
Software and Systems
- QA&TEST – Int. Conf. on Embedded
Software Testing
- ISSRE - Int. Symp. on Software
Reliability Engineering
- ICGI - Int. Conf. on Grammatical Inference
- AutomationSTAR – European Test Automation
Conference
- ICTAC
- Int. Coll. on Theoretical Aspects of Computing
- ICFEM – Int. Conf. on Formal
Engineering Methods
- FMAS - Workshop on Formal Methods for
Autonomous Systems
- VECoS - Int. Conf. on
Verification and Evaluation of Computer and Communication Systems
- SEFM - Int. Conf. on Software Engineering and
Formal Methods
- STARS - STAtic +
Runtime verification Synergies
- ICECCS – Int. Conf. on Engineering of Complex
Computer Systems
- BENEVOL - Belgium-Netherlands Software Evolution
Workshop
- SBMF - Brazilian Symposium on Formal Methods
- ATVA – Int. Symp. on Automated Technology for
Verification and Analysis
- SETTA - Symp. on Dependable Software Engineering:
Theories, Tools and Applications
- FSTTCS - Ann. Conf. on Foundations of Software Technology
and Theoretical Computer Science
- MODELSWARD - Int. Conf. on Model-Based Software
and Systems Engineering
- SAC - ACM/SIGAPP Symposium on Applied Computing
- EDCC - European Dependable Computing Conference
- ETAPS - European Joint Conferences on Theory
And Practice of Software
- TACAS - Tools and Algorithms for the
Construction and Analysis of Systems
- iFS – Int. Conf. on Foundations
and Formal Methods for Software and Systems
- SPIN - Int. Symp. Model Checking of Software
- SPIN 2027
Copenhagen, Denmark, April 10-15, 2027, affiliated with ETAPS 2027
- MARS - Workshop on Models for Formal Analysis of
Real Systems
- SOFTENG - Int. Conf. on Advances and Trends in
Software Engineering
- UCAAT - User Conference on Advanced Automated
Testing
- ICSE - Int. Conf. on Software
Engineering
- FORMALISE - Int. Conf. on Formal
Methods in Software Engineering
- EnCyCriS - Int. Workshop on Engineering
and Cybersecurity of Critical Systems
- CIbSE - Ibero-American Conference on
Software Engineering
- NFM - NASA Formal Methods Symposium
- EuroSTAR – European Conf. on Software
Testing, Analysis, and Review
- ICST - Int. Conf. on Software Testing,
Verification, and Validation
- FSEN – Int. Conf. on Fundamentals of Software
Engineering - Theory and Practice
·
FSOFT – Int.
Conf. on Software Lifecycle using Digital and Artificial Intelligence Paradigms
- ABZ - Int. Conf. on Rigorous State Based Methods
- FORTE - IFIP Int. Conf. on Formal
Techniques for Distributed Objects, Components and Systems
- IEEE/IFIP Int. Conf. on Dependable Systems and
Networks
- CAV - Int. Conf. on Computer Aided Verification
- CECIIS - Central European Conference on
Information and Intelligent Systems
Other Conference Lists
Summer / Winter Schools
- Marktoberdorf Summer School
- TAROT - Summer School on Testing, Validation, and
Security of AI-enabled Systems
Journals and Special Issues
· Journal of Systems and Software (JSS)
Special Issue on Bridging AI, Automation, and Sustainability in Software
Testing
Submission: Dec 15, 2026
https://www.sciencedirect.com/special-issue/333679/bridging-ai-automation-and-sustainability-in-software-testing-ast-2026-selected-papers
Past Conferences
- 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
- SOMET - Int. Conf. on Intelligent Software
Methodologies, Tools, and Technologies
- FTSCS - Int. Workshop on Formal Techniques for
Safety-Critical Systems
- NWPT - Nordic Workshop on Programming Theory
- SOFSEM - Int. Conf. on Current Trends in Theory
and Practice of Computer Science
- CSER - Conference on Systems Engineering Research
- DATE - Design, Automation and Test in Europe
- LearnAut - Learning and Automata
- ICSOFT – Int. Conf. on Software Technologies
- ARES - Int. Conf. on Availability, Reliability
and Security
- FACS - Int. Conf. on Formal Aspects of Component
Software
- FUZZING - Int. Fuzzing Workshop
- Gamify: Int. Workshop on Gamification of Software
Development, Verification and Validation
- MoDeVVa - Workshop on Model Driven
Engineering, Verification, and Validation
- MoDeVVa 2024
Linz, Austria, Sept. 22-27, 2024, co-located with MODELS 2024
https://sites.google.com/site/modevva
- VALID - Int. Conf. on Advances in System Testing
and Validation Lifecycle
- AMDE - Int. Workshop on the Advancements in Model
Driven Engineering & software engineering
- ICSOC - Int. Conf. on Service-Oriented Computing
- ICFNDS - Int. Conf. on Future Networks &
Distributed Systems
- VAMOS - Int. Workshop on Variability Modelling of
Software-Intensive Systems
- A-MOST - Workshop on Advances in Model Based
Testing
- A-TEST – Workshop on Automating Testing
- AIST - Workshop on Artificial Intelligence in
Software Testing
- CCIW - CI/CD Industry Workshop
- ITEQS - Workshop on Testing Extra-Functional
Properties and Quality Characteristics of Software Systems
- IWCT - Workshop on Combinatorial Testing
- InSTA - Workshop on Software Test
Architecture
- Mutation - Workshop on Mutation Analysis
- NEXTA - Workshop on the Next Level of Test
Automation
- SAFE-ML – Workshop on Secure, Accountable, and
Verifiable Machine Learning
- FAACS - Int. Workshop on Formal Approaches for
Advanced Computing Systems
- QA&TEST – Int. Conf. on Software Quality
Assurance and Testing for Safety and Security
- ICCPS - ACM/IEEE Int. Conf. on
Cyber-Physical Systems
- HCSS - High Confidence Software and Systems
Conference
- ANNSIM – Annual Modeling and Simulation
Conference
- VERDI - Int. Workshop on Verification &
Validation of Dependable Cyber-Physical Systems
- SAMOS - Int. Conf. on embedded computer Systems:
Architectures, MOdeling and Simulation
· TACPS - Int. Workshop on Trustworthy Autonomous
Cyber-Physical Systems
o
TACPS 2025
Zagreb, Croatia, July 21, 2025, co-located with CAV 2025
https://www.tacps.org/
- SPLC - Int. Systems and Software Product Line
Conference
- RVCase - Runtime Verification
Case-Studies Workshop
- ICSEA - Int. Conf. on Software Engineering
Advances
- SRDS - Int. Symposium on Reliable Distributed
Systems
- ECBS - Int. Conf. on the Engineering of Computer
Based Systems
- SERD - Int. Conf. on Software Engineering
Research & Development
- iFM - Int.
Conf. on integrated Formal Methods
- DSA - Dependable Systems and Their Applications
- TASSDC - Workshop on Trustworthy Autonomous
Systems and Self-Driving Cars
- RSSRail - Int. Conf. on Reliability,
Safety and Security of Railway Systems: Modelling, Analysis, Verification
and Certification
- APSEC - Asia-Pacific Software Engineering
Conference
- VERIFAI - Workshop on the Interplay between Artificial
Intelligence and Software Verification
- SANER - IEEE Int. Conf. on Software
Analysis, Evolution, and Reengineering
- VST - Workshop on Validation, Analysis and
Evolution of Software Tests
- AST - 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
- ICT.OPEN - Conference for Dutch ICT-Research
- FM - Int. Symp. on on Formal
Methods
- TAP - Int. Conf. on Tests And Proofs
- TAP 2026
Tokyo, Japan, May 18-22, 2026, track of FM 2026
- SWQD - Software Quality Days
- ENASE - Int. Conf. on Evaluation of Novel
Approaches to Software Engineering
- EMMSAD – Int. Conf. on Exploring Modeling Methods
for Systems Analysis and Development
- 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
- STAF - Software Technologies: Applications and
Foundations
- ECMFA - European Conference on Modelling
Foundations and Applications
- ECMFA 2026
Rennes, France , June 29 - July 3, 2026.ice
- - Int. Workshop on Verification and Monitoring
at Runtime Execution
- TASE - Int. Symp. on Theoretical
Aspects of Software Engineering
- FSE - ACM Int. Conf. on the Foundations of
Software Engineering
- SSBSE - Symp. on Search-Based Software
Engineering
- COMPSAC - IEEE Conf. on Computers, Software, and
Applications
- MET - Int. Workshop on Testing for Metamorphic
Testing
- OVERLAY - Workshop on Artificial Intelligence and
fOrmal VERification,
Logic, Automata, and sYnthesis
- SAT - Int. Conf. on Theory and Applications of
Satisfiability Testing
- QRS - Int. Conf. on Software Quality, Reliability
& Security
·
AITest - IEEE Int. Conf. on Artificial Intelligence Testing
- CAV - Int. Conf. on Computer Aided Verification
- FORCE - Workshop on Formal Reasoning for
Compositional Systems