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.