International Workshop-Conference TMPA-2017

The 4th Tools & Methods of Program Analysis International Conference (TMPA 2017), organized in cooperation with ACM Sigsoft, took place in Moscow, Russia, on 3-4 March 2017.

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 keynote talks, industry talks and presentations of full and short papers selected during the independent review process.

The official language of the conference: English.

The selected papers will be published in the Communications in Computer and Information Science series by Springer and the St.Petersburg Polytechnic University Proceedings in several months after the conference.

The 5th Tools & Methods of Program Analysis International Conference will take place in Saratov, Russia, in 2018.

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


EXTENT-2019: Software Testing and Trading Technology Trends

Pre-register now!