International Workshop-Conference TMPA-2014

On 14-15 November 2014 Kostroma, Russia, hosted the 2nd Tools & Methods of Program Analysis International Workshop-Conference (TMPA 2014).

The challenges of software quality are essential for the majority of high-tech industries, including IT, finance, transportation, medicine, and many others. The purpose of the сonference is to raise awareness of the progress in software development and to promote innovations in software testing, analysis and verification.

The conference program included plenary talks, regular full and short talks, mini-courses and presentations of ongoing projects.

The official languages of the conference: English & Russian.

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

Proceedings | Video | Photo | Slides

ORGANIZERS & PARTNERS