Eler, Marcelo, André Takeshi Endo, and Vinícius Durelli.
"Covering User-Defined Data-flow Test Requirements Using Symbolic Execution." <em>Anais do XIII Simpósio Brasileiro de Qualidade de Software,
Blumenau, 2014</em>. SBC, 2014,  
pp.16-30.