Full Papers
Original research contributions with substantial technical depth and evaluation.
Theory/CORE Unranked
SETTA 2025
Symposium on Dependable Software Engineering: Theories, Tools and Applications
SETTA 2025 is the 20th International Symposium on Software Engineering and Testing, focusing on advances in software testing, analysis, and verification techniques. The conference brings together researchers and practitioners to present and discuss innovative methods, tools, and empirical studies in software engineering.
Key deadlines
Verified September 9, 2026Full paper
August 21, 2025
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
August 21, 2025 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Papers
Work-in-progress, preliminary results, or focused technical insights with clear contributions.
Tool Papers
Descriptions of novel testing tools with demonstrations and evaluations.
Experience Reports
Practical insights from industrial or real-world applications of testing techniques.
Research areas in scope
01
Technical Tracks
Model-based testingSymbolic executionStatic and dynamic analysisFuzz testingProperty-based testingTest case generation and minimizationAutomated debugging and fault localizationConcurrency and parallel testingSecurity and privacy testingAI/ML-based testingTesting of embedded, real-time, and safety-critical systemsTesting in DevOps and continuous integrationEmpirical studies on testing practicesTool demonstrations and case studies
Policies worth checking twice
- Submissions must be anonymous for double-blind review.
- Papers must not exceed 15 pages for full papers and 8 pages for short/tool/experience papers (including references).
- Dual submission to other conferences or journals is not permitted.
- All accepted papers must be presented at the conference by an author.
- Authors must include an AI-use statement in the paper if generative AI tools were used in the research or writing process.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026