TMPA-2013: о конференции
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.
Software test automation
Static program analysis
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