Conferences in Software
Testing, and more
- VAMOS - Int. Workshop on
Variability Modelling of Software-Intensive Systems
- FM - Int. Symp. on on Formal
Methods
- Embedded World Conference
- CSER - Conference on Systems
Engineering Research
- SANER - IEEE
Int. Conf. on Software Analysis, Evolution, and
Reengineering
- VST - Workshop on Validation,
Analysis and Evolution of Software Tests
- SAC - ACM/SIGAPP Symposium on
Applied Computing
- 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
- CoAST - Workshop
on Context aware and Adaptive Software systems Testing
- INTUITESTBEDS - Workshop
on User Interface Test Automation and Testing Techniques for Event
Based Software
- 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
- TestEd - Workshop
on Software Testing Education
- DATE - Design, Automation and Test
in Europe
- ICT.OPEN - Conference for Dutch
ICT-Research
- 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
- SPIN – Int. SPIN Symposium on
Model Checking of Software
- TiCSA - Workshop on Trends in
Configurable Systems Analysis
- ENASE - Int. Conf. on Evaluation
of Novel Approaches to Software Engineering
- CIbSE - Iberoamerican Conference
on Software Engineering
- SOFTENG - Int. Conf. on Advances
and Trends in Software Engineering
- QA&TEST – Int. Conf. on
Software Quality Assurance and Testing for Safety
and Security
- FSEN - Int. Conf. on Fundamentals
of Software Engineering
- 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
- 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
- MET - Int. Workshop on Testing for
Metamorphic Testing
- SBFT - Int. Workshop on
Search-Based and Fuzz Testing
- NFM - NASA Formal Methods
Symposium
- SWQD - Software Quality Days
- SERA - Int. Conf. on Software
Engineering Research, Management and Applications
- ABZ - Int. Conf. on Rigorous State
Based Methods
- EuroSTAR – European Conf. on
Software Testing, Analysis, and Review
- AEiC - Ada-Europe Int. Conf. on
Reliable Software Technologies
- LCTES - ACM SIGPLAN/SIGBED Int.
Conf. on Languages, Compilers, Tools and Theory of Embedded Systems
- FORTE - IFIP Int. Conf. on Formal
Techniques for Distributed Objects, Components and Systems
- Petri Nets - Int. Conf. on
Application and Theory of Petri Nets and Concurrency
- IEEE/IFIP Int. Conf. on
Dependable Systems and Networks
- VERDI - Int. Workshop on Verification &
Validation of Dependable Cyber-Physical Systems
- SAMOS - Int. Conf. on embedded
computer Systems: Architectures, MOdeling and Simulation
- IOLTS - Int. Symp.
on On-Line Testing and Robust System Design
- SEPA - Int. Symp. Software
Engineering Processes and Applications
- TASE - Int.
Symp. on Theoretical Aspects of Software Engineering
- ICSOFT – Int. Conf. on Software
Technologies
- ICGI - Int. Conf. on Grammatical
Inference
- ISSTA - ACM SIGSOFT Int. Symp. on
Software Testing and Analysis
- VORTEX - Int.
Workshop on Verification and Monitoring at Runtime Execution
- CAV - Int. Conf. on Computer Aided
Verification
- STAF - Software Technologies:
Applications and Foundations
- TAP - Int. Conf. on Tests And
Proofs
- ECMFA - European
Conference on Modelling Foundations and Applications
- DSA - Dependable Systems and
Their Applications
- Euro-Par - Int.
Eur. Conf. on Parallel and Distributed Computing
- SPLC - Int. Systems and Software
Product Line Conference
- MFCS - Int. Symp. on Mathematical
Foundations of Computer Science
- SEAA - Euromicro
Conference on Software
Engineering and Advanced Applications
- QUATIC
- Int. Conf. on Quality of Information and
Communications Technology
- ASE - IEEE/ACM Int. Conf. on
Automated Software Engineering
- A-TEST – Workshop on Automating
Test Case Design, Selection and Evaluation
- EMSOFT - Int. Conf. on
Embedded Software
- MEMOCODE -Int. Conf. on Formal
Methods and Models for System Design
- FAACS - Int. Workshop on Formal
Approaches for Advanced
Computing Systems
- ICTSS - IFIP
Int. Conf. on Testing Software and Systems
- GandALF
- Int. Symp. on Games, Automata, Logics, and Formal Verification
- CONCUR - Int.Conf. on
Concurrency Theory
- FORMATS - Int. Conf. on Formal
Modeling and Analysis of Timed Systems
- FMICS - Int. Conf. on Formal Methods
for Industrial Critical Systems
- SAFECOMP - Int. Conf. on
Computer Safety, Reliability, and Security
- SAFECOMP
2023
Toulouse,
France, Sept. 19-22, 2023
- CECIIS - Central European
Conference on Information and Intelligent Systems
- SOMET
- Int. Conf. on Intelligent Software Methodologies, Tools, and
Technologies
- MODELS - Int. Conf. on Model
Driven Engineering Languages and Systems
- MODELS
2023
Västerås, Sweden, Oct. 1-6, 2023
- SAM - System Analysis and
Modelling Conference
- SAM
2023
Västerås,
Sweden, Oct. 2-3, 2023, co-located with MODELS
- SERD - Int. Conf. on Software
Engineering Research & Development
- RV - Int. Conf. on Runtime
Verification
- ISSRE - Int. Symp. on
Software Reliability Engineering
- 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
- VECoS - Int. Conf. on
Verification and Evaluation of Computer and Communication Systems
- FTSCS - Int. Workshop on Formal Techniques for
Safety-Critical Systems
- ATVA – Int. Symp. on
Automated Technology for Verification and Analysis
- SEFM - Int. Conf. on Software
Engineering and Formal Methods
- iFM - Int. Conf. on integrated
Formal Methods
- FMAS - Workshop on Formal
Methods for Autonomous Systems
- ICSEA - Int. Conf. on Software
Engineering Advances
- VALID - Int. Conf. on Advances in
System Testing and Validation Lifecycle
- VALID
2023
Valencia, Spain, Nov.
13-17, 2023, part of SoftNet 2023
- UCAAT - User Conference on
Advanced Automated Testing
- AutomationSTAR – European Test
Automation Conference
- ICFEM – Int. Conf. on
Formal Engineering Methods
- ESEC/FSE - Joint
European Software Engineering Conf. and Symp. on the Foundations of
Software Engineering
- APSEC - Asia-Pacific Software
Engineering Conference
- ICTAC
- Int. Coll. on Theoretical Aspects of Computing
- SOFSEM - Int. Conf. on Current
Trends in Theory and Practice of Computer Science
- MODELSWARD - Int. Conf. on
Model-Driven Engineering and Software Development
Other Conference Lists
Summer / Winter
Schools
- TAROT
-
Int. TAROT Summer
School on Training And Research On Testing
- VALU3S
- Summer
School on Verification and Validation of Dependable Cyber-Physical
Systems
Journals and Special
Issues
- Journal of Software Testing,
Verification and Reliability (STVR)
Special
Issue on: Testing Extra-Functional Properties - 2nd
Edition
Submission:
Feb 28, 2023
https://smartdelta.org/SI_TestingEFPs_2
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
- SSBSE - Symp. on Search-Based
Software Engineering
- MoDeVVa - Workshop on Model Driven
Engineering, Verification, and Validation
- MoDeVVa
2020
Montreal, Canada, Oct. 18, 2020, co-located with MODELS
2020
- SAST - Brazilian Symposium on
Systematic and Automated Software Testing
- SAST
2020
On-line, Oct. 19-20,
2020
- FACS - Int. Conf. on Formal
Aspects of Component Software
- 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
- LearnAut - Learning and Automata
- ISSQ - Int. Symp. on Software
Quality
- IMBSA - Int. Symp. on
Model-Based Safety Assessment
- EDCC
- European Dependable Computing Conference
- FDL - Forum on Specification and Design
Languages
- FROM – Working Formal Methods
Symposium
- SRDS
- Int. Symposium on Reliable Distributed Systems
- MPC - Int. Conf. on Mathematics of
Program Construction
- STC - IEEE Software Technology
Conference
- ICSME
- Int. Conf. on Software Maintenance and Evolution
- AUST - Autonomous Software Testing
Workshop
- FMCAD - Formal Methods in
Computer-Aided Design Conference
- ISoLA – Int. Symp. on Leveraging
Applications of Formal Methods, Verification and Validation
- SETTA - Symp. on Dependable
Software Engineering: Theories, Tools and Applications
- NWPT - Nordic Workshop on
Programming Theory
- OVERLAY - Workshop on Formal
Methods for AI
- STV - System Testing and
Validation Workshop
- QRS - IEEE Int. Conf. on Software
Quality, Reliability & Security