Simão, Adenilso da Silva
Résultats: Montrant 10 de 22 à l'page 1 de 3
Nom
Titre
Domaine
Document
Unité
Année
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...
Résultats: Montrant 10 de 22 à l'page 1 de 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Tous droits réservés.