Eler, Marcelo, 		Endo, André, AND 		Durelli, Vinícius.
" Covering User-Defined Data-flow Test Requirements Using Symbolic Execution" <em>Proceedings of the Brazilian Software Quality Symposium (SBQS)</em> [Online], (4 August 2014)