SQAMIA 2017

About the Workshop

The main goal of SQAMIA workshop series is to provide a forum for presentation, discussion and dissemination of the scientific findings in the area of software quality, and the establishment and improvement of interaction and cooperation between scientists and young researchers from the region and beyond. It is organized by SQAMIA Initiative and the workshop especially welcomes position papers, papers describing the work-in-progress, tool demonstration papers, technical reports or other papers that would provoke discussions.

SQAMIA 2017 is the 6^th Workshop in the series, and a continuation of the successful events held in previous years.

The first workshop SQAMIA 2012 was organized within the 5th Balkan Conference in Informatics (BCI 2012) and was closely followed by SQAMIA 2013 also organized in Novi Sad, now as a standalone event in intention to become traditional meeting of the scientists and practitioners in the field of software quality. Continuing this tradition SQAMIA 2014 was held in Lovran, Croatia, SQAMIA 2015 in Maribor, Slovenia and SQAMIA 2016 in Budapest, Hungary.

The workshop welcomes papers addressing research on all four mentioned aspects (Analysis, Monitoring, Improvement, and Applications) of dealing with the quality of software. Position papers, papers describing the work-in-progress, tool demonstration papers, technical reports or other papers that would provoke discussions are especially welcome.

Topics of Interest

The list of topics includes, but is not limited to the following:

• 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
• Formal methods in software quality engineering
• 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
• 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