Travelled to:1 × Italy
1 × Portugal
1 × Sweden
1 × Turkey
Collaborated with:J.P.Faria R.M.L.M.Moreira A.Garcia I.C.Morgado M.V.d.Castro J.C.P.Faria R.F.A.M.Vidal F.R.d.Andrade A.Lopes A.G.Garis A.Cunha D.Riesco
Talks about:test (6) pattern (2) integr (2) model (2) tool (2) uml (2) gui (2) techniqu (1) protocol (1) toolset (1)
Person: Ana C. R. Paiva
DBLP: Paiva:Ana_C=_R=
Contributed to:
2014
2014
2013
2012
20072015Wrote 7 papers:
- ASE-2014-MoreiraP #modelling #testing #user interface
- PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
- ICEIS-v2-2014-GarciaP #as a service #maintenance #requirements
- SaaS Usage Information for Requirements Maintenance (AG, ACRP), pp. 323–330.
- ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml
- Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
- IFM-2012-AndradeFLP #generative #java #testing
- Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
- IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
- 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.
- ASE-2015-MorgadoP #mobile #testing #user interface
- The iMPAcT Tool: Testing UI Patterns on Mobile Applications (ICM, ACRP), pp. 876–881.