Buscar
Mostrando ítems 1-4 de 4
Geração de testes a partir de gramáticas: áreas de aplicação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-12-13)
The work proposed by Cleverton Hentz (2010) presented an approach to define tests
from the formal description of a program s input. Since some programs, such as compilers,
may have their inputs formalized through grammars, ...
NAT2TEST: generating test cases from natural language requirements based on CSP
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Geração de especificação formal de sistemas a partir de documento de requisitos
(Universidade Federal de Pernambuco, 2014)
Simulation of hybrid systems from natural language requirements
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencias Contabeis, 2018)