Technology of testing automation based on symbolic trace

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Drobintsev Pavel D. Kim Ruslan I. Kotlyarov Vsevolod P.
Abstract:

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.