Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2013

The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description

Autores
Ribeiro, C;

Publicação
IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013

Abstract

2013

Large-scale crossmedia retrieval for playlist generation and song discovery

Autores
Coelho, F; Devezas, JL; Ribeiro, C;

Publicação
Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013

Abstract

2013

Inferring UI Patterns with Inductive Logic Programming

Autores
Nabuco, M; Paiva, ACR; Camacho, R; Faria, JP;

Publicação
PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)

Abstract
This paper presents an approach to infer UI patterns existent in a web application. This reverse engineering process is performed in two steps. First, execution traces are collected from user interactions using the Selenium software. Second, the existing UI patterns within those traces are identified using Machine Learning inference with the Aleph ILP system. The paper describes and illustrates the proposed methodology on a case study over the Amazon web site.

2013

A testing and certification methodology for an Ambient-Assisted Living ecosystem

Autores
Faria, JP; Lima, B; Sousa, TB; Martins, A;

Publicação
2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013

Abstract
To cope with the needs raised by the demographic changes in our society, several Ambient-Assisted Living (AAL) technologies have emerged in recent years, but those 'first offers' are often monolithic, incompatible and thus expensive and potentially not sustainable. The AAL4ALL project aims at improving that situation through the development of an open ecosystem of interoperable products and services for AAL, tied together via an integration infrastructure. To that end, the project encompasses the specification of a set of reference models and requirements for interoperable products and services, against which candidate products and services can be tested and certified, and subsequently integrated as components of the ecosystem. This paper proposes a testing and certification methodology for such an ecosystem. © 2013 IEEE.

2013

Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)

Autores
Faria, JP; Paiva, ACR;

Publicação
ACM SIGSOFT Software Engineering Notes

Abstract

2013

Techniques and toolset for conformance testing against UML sequence diagrams

Autores
Faria, JP; Paiva, ACR; De Castro, MV;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Novel techniques and a toolset are presented for automatically testing the conformance of software implementations against partial behavioral models constituted by a set of parameterized UML sequence diagrams (SDs), describing both external and internal interactions. Test code is automatically generated from the SDs and executed on the Java implementation under test, and test results and coverage information are presented back visually in the model. A runtime test library handles internal interaction checking, test stubs, and user interaction testing. Incremental conformance checking is achieved by first translating SDs to non-deterministic acceptance automata with parallelism. © IFIP International Federation for Information Processing 2013.

  • 418
  • 589