Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
TEC4
Sobre o Domínio
Publicações Seleccionadas
A model-to-implementation mapping tool for automated model-based GUI testing
Paiva, ACR;Faria, JCP;Tillmann, N;Vidal, RAM;
2005
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS
Specification-based testing of user interfaces
Paiva, ACR;Faria, JCP;Vidal, RFAM;
2003
INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION
Classification of Defect Types in Requirements Specifications: Literature Review, Proposal and Assessment
Margarido, IL;Faria, JP;Vidal, RM;Vieira, M;
2011
SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
Towards the Integration of Visual and Formal Models for GUI Testing
Paiva, ACR;Faria, JCP;Vidal, RFAM;
2007
Electronic Notes in Theoretical Computer Science
Membros da equipa
Membros da equipa
António Gaspar
Técnico Especialista Coordenador
Raul Vidal
Investigador
Manuel Ricardo
Coordenador de TEC4
João Peças Lopes
Coordenador de TEC4
Américo Azevedo
Coordenador de TEC4
Miguel Coimbra
Coordenador de TEC4
Augustin Olivier
Investigador Coordenador
André Sá
Técnico Especialista Sénior
Eduardo Silva
Coordenador de TEC4
Contacte-nos
Entre em contacto connosco. Responderemos assim que nos for possível.