Message from the program chair

The overall goal of TMPA-2013 was to promote progress in the software development industry. We are excited to have had presentations and papers from renowned experts and leading scientists from the program engineering field working in the areas of software testing, analysis and verification. We look forward to the next workshop-conference TMPA-2014 in Kostroma, Russia where we will continue sharing ideas about the development of new instruments and methods of program analysis to introduce innovation in all knowledge-intensive industries of modern economy.