Search results for:
Filter your results
0 Search results
TEC4
About Domain
Selected Publications
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
Contact Us
Get in touch with us. We will respond as soon as possible.