Raul F. A. M. Vidal

According to our database, Raul F. A. M. Vidal authored at least 4 papers between 2003 and 2007.

Collaborative distances:

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

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

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