Eler, Marcelo, 		Endo, André, E 		Durelli, Vinícius.
" Covering User-Defined Data-flow Test Requirements Using Symbolic Execution" <em>Anais do Simpósio Brasileiro de Qualidade de Software (SBQS)</em> [Online], (4 agosto 2014)