Testing automation of projects in telecommunication domain

Conference "Technologies Microsoft in the theory and programming practice"

The paper presents an integrated approach to testing automation of telecommunication projects along with proposals to automation of conformance testing. The underlying idea is to benefit from combining formal verification and testing automation techniques in order to improve product quality.