Eler, M., 		Endo, A., & 		Durelli, V.
(2014).
Covering User-Defined Data-flow Test Requirements Using Symbolic Execution.
In <em>Anais do XIII Simpósio Brasileiro de Qualidade de Software</em>, (pp. 16-30). Porto Alegre: SBC.
doi:10.5753/sbqs.2014.15241