Since 1994, our experts have been participating in projects on automated testing of complex industrial software under cooperation of ISPRAS with such companies as Nortel Networks (testing the kernel of an operating system), Microsoft and GO4IT (testing of IPv6 protocol implementation), and Intel (testing of optimizing blocks in compilers).