Submission Guidelines, Publication

Position papers, papers describing the work-in-progress, tool demonstration papers, technical reports or other papers that would provoke discussions are especially welcome.

Contributions are solicited for papers that are 6 to 12 pages long. Papers should be original contributions and should not be accepted or submitted elsewhere until the decisions of the SQAMIA 2025 program committee are announced.

Note that papers shorter than 10 pages will be considered as short papers and will be marked as such in conference proceedings.

All contributions should be in PDF format and should be submitted electronically via the EasyChair submission system before the deadline.

The papers should be prepared in the CEURART template (http://ceur-ws.org/Vol-XXX/CEURART.zip), available for LaTeX, Word and Libre Office, in its single column layout. For papers in LaTeX, an Overleaf template can be used, too.

SQAMIA 2025 proceedings will be published by CEUR Workshop Proceedings (http://ceur-ws.org) and indexed by “dblp: computer science bibliography”.

Submission: https://easychair.org/conferences/?conf=sqamia2025

Zoran Budimac Best Paper Award

At the SQAMIA 2025 workshop, Zoran Budimac Award for the Best Paper, honouring the esteemed legacy of the Professor Zoran Budimac, will be selected. Professor Budimac, the initiator and longtime driving force behind the workshop, embodied a spirit of innovation and dedication to advancing the field.

List of Topics (including, but not limited to):

• Software quality engineering, management and control,
• Software quality attributes and quality requirements,
• Software reliability, security and safety,
• Software quality standards and certification,
• Software quality assurance techniques, tools and frameworks,
• Software quality of embeded systems,
• Software quality of critical systems,
• Software quality of intelligent systems,
• Formal methods in software quality engineering,
• Automated software delivery pipelines,
• Software evolution and prediction,
• Software maintenance process models, standards and tools,
• Software testing approaches, models, techniques and tools,
• Formal methods in software verification and validation,
• Software analysis techniques and tools,
• Static software analysis techniques and tools,
• Static timing analysis,
• Software measurement and metrics,
• Techical debt, code smells, and test smells,
• Software timing measurement and monitoring,
• Software process evaluation and improvement,
• Models of product or process quality,
• Empirical studies in software product evaluation,
• Case studies, lessons learned and empirical results on software quality.

Important dates

• Deadline: June 2nd 2025
• Notification of Acceptance: July 14th 2025
• Camera-ready papers: August 18th 2025

Links

• Download Call for Papers PDF: Download PDF
• EasyChair Call for Papers: Click here