@inproceedings{inproceedings89fd3f9e, title = {Covering user-defined data-flow test requirements using symbolic execution}, author = {Eler, Marcelo Medeiros and Endo, André Takeshi and Durelli, Vinícius Humberto Serapilha}, year = {2014}, publisher = {SBC}, booktitle = {Simpósio Brasileiro de Qualidade de Software - SBQS} }