The paper presents an overview of approach to testing automation based on symbolic traces. Where each symbolic trace is presented as result of formal verification. Advantages and disadvantages of traditional testing and verification methods and suggested method are described.