Collaborated with:A.C.R.Paiva R.F.A.M.Vidal
Talks about:visual (1) toward (1) integr (1) formal (1) model (1) test (1) gui (1)
Person: João C. P. Faria
DBLP: Faria:Jo=atilde=o_C=_P=
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.