M. Eler, A. Endo, and V. Durelli.
"Covering User-Defined Data-flow Test Requirements Using Symbolic Execution", in <em>Anais do XIII Simpósio Brasileiro de Qualidade de Software</em>, Blumenau, 2014, pp. 16-30, doi: <a href="https://doi.org/10.5753/sbqs.2014.15241">https://doi.org/10.5753/sbqs.2014.15241</a>.