Marcelo Eler, André Endo, and Vinícius Durelli. 2014.
 Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. In <em>Anais do XIII Simpósio Brasileiro de Qualidade de Software</em>, agosto 04, 2014, Blumenau, Brasil. SBC, Porto Alegre, Brasil, 16-30. DOI: <a href="https://doi.org/10.5753/sbqs.2014.15241">https://doi.org/10.5753/sbqs.2014.15241</a>.