BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Paiva:Ana_C=_R=

Contributed to:

ASE 20142014
ICEIS v2 20142014
ICTSS 20132013
IFM 20122012
MBT 20072007
ASE 20152015

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.