Paula Fernanda R. Herculano,  Márcio Eduardo Delamaro. 

Testing techniques can be divided in code-based and specification based and using them together can increase the application confidence level. So, is important to investigate their relationship analysing, how they complete each other and how they can be used together, aiming at composing a testing strategy. This paper aims at performing comparative studies focused on reactive systems, which are specified using formal methods. The test cases are derived from formal specifications and then compared with controlflow and dataflow structural criteria.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sast/2007/001.pdf

Processando consulta.