Home 
Supervisor Name
Supervisor Name
Simão, Adenilso da Silva
Results: Displaying 10 of 22 on page 1 of 3
Name
Title
Area
Document
Colleges
Year
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...
Results: Displaying 10 of 22 on page 1 of 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. All Rights Reserved.