Abstract
This paper introduces the TSL language (short name for “Test Specification Language”) that intends to improve the test specification of information systems in a systematic, rigorous and consistent way. TSL specifications are produced from close requirement specifications expressed in the RSL language (Requirements Specification Language). Both RSL and TSL support human-readable executable specifications closer to natural language than models usually used in model-based testing approaches. TSL includes several constructs logically arranged into views according to multiple testing engineering strategies, commonly found in the information systems domain, such as: data entity tests and state machine tests, all of them produced from equivalent requirement specification in RSL. A case study is also presented to illustrate the proposed approach.

Abstract
This paper presents a tool (iMPAcT) that automates testing of mobile applications based on the presence of recurring behaviour, UI Patterns. It combines reverse engineering, pattern matching and testing. The reverse engineering process is responsible for crawling the application, i.e. analysing the state of the application and interacting with it by firing events. The pattern matching tries to identify the presence of UI patterns based on a catalogue of patterns. When a UI Pattern from the catalogue is detected, a test strategy is applied (testing). These test strategies are called UI Test Patterns. These three phases work in an iterative way: the patterns are identified and tested between firing of events, i.e. the process alternates between exploring the application and testing the UI Patterns. The process is dynamic and fully automatic not requiring any previous knowledge about the application under test. This paper presents the results of an experiment studying the reliability of the results obtained by iMPAcT. The experiment involved 25 applications found on Google Play Store and concludes that iMPAcT is successful in identifying failures in the tested patterns and that the degree of certainty of an identified failure being an actual failure is high.

Abstract
Nowadays, web applications play an important role in our society and in the business world. Many companies earn a large part of their revenues through web applications that provide support services that must be maintained and improved over time. Most of these services operate on a large scale and are in constant change due to the environment in which they operate and due to the rapid technological evolution as we strive to improve our everyday lives. Due to this constantly changing environment, it is difficult to estimate the impact of changes; to maintain the software requirements documents updated; and to build and maintain a test suit for regression testing. Regression tests must be updated continually in order to test the current behavior after requested changes are implemented. REQAnalytics is a tool that aims to solve these problems. This paper presents REQAnalytics and an extension to generate test cases from the usage of a SaaS platform in order to diminish the effort in building and maintaining regression tests that are useful to check if the SaaS platform remains working as expected.

Abstract
Testing is one of the most important activities to ensure the quality of a software system. This paper proposes and discusses the TSL (Test Specification Language) that adopts a model-based testing approach for both human-readable and computer-executable specifications of test cases. TSL is strongly inspired on the grammar, nomenclature and writing style as defined by the RSLingo RSL, which is a rigorous requirements specification language. Both RSL and TSL are controlled natural languages that share common concepts such as data entities, use cases and state machines. However, by applying black-box functional testing design techniques, TSL includes and supports four complementary testing strategies, namely: domain analysis testing; use case tests; state machine testing; and acceptance criteria. This paper focuses on the first three testing strategies of TSL. Finally, a simple but effective case study illustrates the overall approach and supports the discussion. © 2019, Springer Nature Switzerland AG.

Abstract
A patient's health literacy has a direct impact on their health, but more than a third of the USA population has "basic" or "below basic" levels of health literacy. An individual's wellbeing is also affected by the communication with their physician, as the use of technical terminology may hinder the patient's understanding. A patient's ability to, later on, recall or retrieve helpful information could reduce these comprehension problems and this can be improved by a good management of personal health information. To help overcome some of these problems, we created HealthTalks, a mobile app that empowers the patients, easing their daily health tasks and self-care ability. It does so by recording the audio of a medical appointment, transcribing its dialogue, giving more information about medical concepts employed, and allowing information associated with medical appointments to be easily managed by the patient. Usability tests were conducted with elderly people, ranging from the icons used to the general user experience. Results were very positive, with users accomplishing most tasks successfully and often with the least amount of clicks. We also evaluated the speech recognition software used, Google Cloud Speech API, reaching an error rate of 12 percent in medical texts.

Abstract
The importance of research data management is widely recognized. Dendro is an ontology-based platform that allows researchers to describe datasets using generic and domain-specific descriptors from ontologies. Selecting or building the right ontologies for each research domain or group requires meetings between curators and researchers in order to capture the main concepts of their research. Envisioning a tool to assist curators through the automatic extraction of key concepts from research documents, we propose 2 concept extraction methods and compare them with a term extraction method. To compare the three approaches, we use as ground truth an ontology previously created by human curators.