Eler, Marcelo, André Takeshi Endo, and Vinícius Durelli.
" Covering User-Defined Data-flow Test Requirements Using Symbolic Execution." <em>Proceedings of the 13th Brazilian Symposium on Software Quality,
Blumenau, 2014</em>. SBC, 2014,  
pp.16-30.