Eler, M., 		Endo, A., & 		Durelli, V.
2014 ago  4.  Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. Anais do Simpósio Brasileiro de Qualidade de Software (SBQS). [Online] :