Buscar
Mostrando ítems 1-2 de 2
NAT2TEST: generating test cases from natural language requirements based on CSP
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
A process for sound conformance testing of cyber-physical systems
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)