TMPA-2015: about conference

On 12-14 November 2015, Peter the Great Saint-Petersburg State Polytechnic University, Russia, hosted the 3rd Tools & Methods of Program Analysis. International Workshop-Conference (TMPA 2015). The conference addresses the most pertinent and important area of software engineering - the analysis of software quality.

The presentations were delivered by renowned guests from the software-engineering field and by the authors of the papers that have successfully passed the review procedure.

The program committee of the conference consists of the leading Russian and foreign scientists working in the area of software development and analysis.

The official languages of the conference: English & Russian.

The selected papers were published in the St.Petersburg Polytechnic University Proceedings.

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