TMPA-2013: about conference

The 1st Tools & Methods of Program Analysis International Workshop-Conference (TMPA 2013) took place at the Kostroma State Technological University.

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

Each paper submitted to the conference received at least 2 reviews by the leading software development and analysis experts and researchers.

The best papers were recommended to be published in Russia's leading professional and scientific journals, as well as translated into English and published by IEEE - the world's largest professional association for the advancement of technology.

The official languages of the conference: English & Russian.

TMPA-2013: 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