Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ana C. R. Paiva

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with João Pascoal Faria

> Home > Persons > Ana C. R. Paiva

Publications

2018
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/PaivaFFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/PaivaFFM18
Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques:
End-to-end Automatic Business Process Validation. ANT/SEIT 2018: 999-1004
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FariaP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FariaP16
João Pascoal Faria, Ana C. R. Paiva:
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. 18(3): 285-304 (2016)
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/NabucoPF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/NabucoPF14
Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria:
Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) 2014: 311-326
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/MorgadoPF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/MorgadoPF14
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria:
Automated Pattern-Based Testing of Mobile Applications. QUATIC 2014: 294-299
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/FariaP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/FariaP13
João Pascoal Faria, Ana C. R. Paiva:
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes 38(1): 39-41 (2013)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/FariaPC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/FariaPC13
João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro:
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS 2013: 180-195
2012
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MorgadoPFC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MorgadoPFC12
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho:
GUI reverse engineering with machine learning. RAISE@ICSE 2012: 27-31
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AndradeFLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AndradeFLP12
Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva:
Specification-Driven Unit Test Generation for Java Generic Classes. IFM 2012: 296-311
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/FariaPY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/FariaPY12
João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang:
Test Generation from UML Sequence Diagrams. QUATIC 2012: 245-250
2011
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AndradeFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AndradeFP11
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva:
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) 2011: 192-200
2004
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/quatic/PaivaFV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/PaivaFV04
Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal:
Automated Specification-based Testing of Interactive Components with AsmL. QUATIC 2004: 119-126

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.