Formal mutation testing in Circus process algebra (2018)
Unidade: ICMCSubjects: SOFTWARES, ENGENHARIA DE SOFTWARE
ABNT
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 19 out. 2024.APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 out. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 out. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/