ELER, Marcelo Medeiros; ENDO, André Takeshi; DURELLI, Vinícius. Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. In: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 13. , 2014, Blumenau. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2014 . p. 16-30. DOI: https://doi.org/10.5753/sbqs.2014.15241.