Simão, Adenilso da Silva
Resultados: Listando 10 de 22 en la página 1 de 3
Nombre
Título
Área
Documento
Facultad
Año
Formal mutation testing in Circus process algebra
An approach to incompletely specified finite state machine minimization
Improving model learning by inferring separating sequences from traces
Exotic options pricing using CUDA
Computational approaches for the discovery of significant genes in cancer
A strategy for reducing test suites from finite state machines
Learning finite state machine models of evolving systems: From evolution over time...
Evaluating finite state machine based testing methods on RBAC systems
Model based testing of service oriented applications
Web services composition testing: a strategy based on a test model of parallel p...
Resultados: Listando 10 de 22 en la página 1 de 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Todos los derechos reservados.