João C. P. Faria

According to our database, João C. P. Faria authored at least 7 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Test Coverage Analysis of UML Activity Diagrams for Interactive Systems.

Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva

Proceedings of the Quality of Information and Communications Technology, 2010

Test Coverage Analysis of UML State Machines.

Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva

Proceedings of the Third International Conference on Software Testing, 2010

2007

Towards the Integration of Visual and Formal Models for GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the Third Workshop on Model Based Testing, 2007

Reverse Engineered Formal Models for GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2005

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal

Proceedings of the Formal Methods and Software Engineering, 2005

Modeling and Testing Hierarchical GUIs.

Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2003

Specification-Based Testing of User Interfaces.

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the Interactive Systems. Design, 2003