International high-level specialists and professionals in the field of software engineering are descending on Kostroma, one of Russia’s most historical cities, for a two-day workshop-conference set to map cutting-edge innovations in the areas of testing, analysis and verification. The Tools & Methods of Program Analysis (TMPA-2014) event will be held on November 14 and 15 at the Kostroma State Technology University.
In partnership with the London Stock Exchange, the Moscow Exchange, Exactpro, and East-West Digital News, the conference program will focus on one of the most pertinent and important areas of software engineering: the analysis of software quality.
The issues of efficiency and correctness of software are key for the majority of knowledge-intensive industries in the modern economy, including IT, the financial sector, transportation, medicine, high-tech industries, and many others. The development of new instruments and methods of program analysis, as well as the modification of existing ones, is one of the necessary prerequisites for introducing innovation.
The program will include the following 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.
For more information on the conference visit here, or have a look at its Facebook and VKontakte pages.
