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