Collaborated with:A.C.R.Paiva J.C.P.Faria
Talks about:visual (1) toward (1) integr (1) formal (1) model (1) test (1) gui (1)
Person: Raul F. A. M. Vidal
DBLP: Vidal:Raul_F=_A=_M=
Contributed to:
2007Wrote 1 papers:
- MBT-2007-PaivaFV #formal method #integration #modelling #testing #towards #user interface #visual notation
- Towards the Integration of Visual and Formal Models for GUI Testing (ACRP, JCPF, RFAMV), pp. 99–111.