M. Eler, A. Endo, and V. Durelli.
" Covering User-Defined Data-flow Test Requirements Using Symbolic Execution", in <em>Proceedings of the 13th Brazilian Symposium on Software Quality</em>, Blumenau, 2014, pp. 16-30, doi: <a href="https://doi.org/10.5753/sbqs.2014.15241">https://doi.org/10.5753/sbqs.2014.15241</a>.