The conference will take place on 12-14 November and will gather senior students specializing in software development, postgraduate students and young scientists interested in independent expert review of their research, as well as renowned scientists who are ready share their innovative works.
Its general theme will be one of the most pertinent and important areas of software engineering: the analysis of software quality. The purpose of the conference is raising awareness of progress in the software development industry and promoting cutting edge innovations in software testing, analysis and verification.
The conference program will include plenary reports and mini-courses delivered by experts, presentations selected by the Program Committee, presentations of on-going projects, short reports about new ideas, research that is underway or new tools. Practice-based reports from software development firms are expected.
Authors who wish that their research papers be included in the conference program are invited to submit their work for a review by a body of independent TMPA-2015 experts including Russian and international scientists specializing in software development and analysis.
The conference will be conducted in Russian and English.
Conference Topics:
- Software test automation
- Static program analysis
- Verification
- Dynamic methods of program analysis
- Testing and analysis of parallel and distributed systems
- Testing and analysis of high-load and high-availability systems
- Analysis and verification of hardware and software systems
- Methods of building quality software
- Tools for software analysis, testing and verification
