Marcelo Medeiros Eler, André Takeshi Endo, Vinicius H. S. Durelli. Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. In Eduardo Almeida, Glauco de Figueiredo Carneiro, editors, Proceedings of the 13th Brazilian Symposium on Software Quality, SBQS 2014, Blumenau, SC, Brazil, August 4-8, 2014. pages 16-30, SBC, 2014. [doi]
Abstract is missing.