Marcelo Eler, André Endo, and Vinícius Durelli. 2014.
 Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. In <em>Proceedings of the 13th Brazilian Symposium on Software Quality</em>, August 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>.