Covering user-defined data-flow test requirements using symbolic execution (2014)
Source: Anais. Conference titles: Simpósio Brasileiro de Qualidade de Software - SBQS. Unidade: EACH
Assunto: TESTE E AVALIAÇÃO DE SOFTWARE
ABNT
ELER, Marcelo Medeiros e ENDO, André Takeshi e DURELLI, Vinícius Humberto Serapilha. Covering user-defined data-flow test requirements using symbolic execution. 2014, Anais.. Porto Alegre: SBC, 2014. . Acesso em: 29 mar. 2024.APA
Eler, M. M., Endo, A. T., & Durelli, V. H. S. (2014). Covering user-defined data-flow test requirements using symbolic execution. In Anais. Porto Alegre: SBC.NLM
Eler MM, Endo AT, Durelli VHS. Covering user-defined data-flow test requirements using symbolic execution. Anais. 2014 ;[citado 2024 mar. 29 ]Vancouver
Eler MM, Endo AT, Durelli VHS. Covering user-defined data-flow test requirements using symbolic execution. Anais. 2014 ;[citado 2024 mar. 29 ]