HASLab - Indexed Articles in Conferences

Permanent URI for this collection

Browse

Recent Submissions

Now showing 1 - 5 of 408
  • Item
    Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
    ( 2023) José Creissac Campos ; Rafael Braga Costa ; 5599 ; 8206
    The IVY workbench is a model-based tool for the formal modelling and verification of interactive systems. The tool uses model checking to carry out the verification step. The goal is not to replace, but to complement more exploratory and iterative user-centred design approaches. However, the need for formal and rigorous modelling and reasoning raises challenges for the integration of both approaches. This paper presents a new plugin that aims to provide support for the integration of the formal methods based analysis supported by the tool, with user-centred design. The plugin is described, and an initial validation of its functionalities presented. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  • Item
    HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
    ( 2023) José Creissac Campos ; 5599
    This second workshop on HCI Engineering Education aims at carrying forward work on identifying, examining, structuring, and sharing educational resources and approaches to support the process of teaching/learning Human-Computer Interaction (HCI) Engineering. The widening range of available interaction technologies and their applications in increasingly varied contexts (private or professional) underlines the importance of teaching HCI Engineering but also the difficulty of taking into account changes and developments in this field in often static university curricula. Besides, as these technologies are taught in diverse curricula (ranging from Human Factors and Psychology to hardcore Computer Science), we are interested in what the best approaches and best practices are to integrate HCI Engineering topics in the curricula of programs in Software Engineering, Computer Science, Human-computer Interaction, Psychology, Design, etc. The workshop is proposed on behalf of the IFIP Working Group 2.7/13.4 on User Interface Engineering. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  • Item
    Towards Automated Load Testing Through the User Interface
    ( 2023) José Creissac Campos ; 5599
    Slight variations in user interface response times can significantly impact the user experience provided by an interface. Load testing is used to evaluate how an application behaves under increasing loads. For interactive applications, load testing can be done by directly calling services at the business logic or through the user interface. In modern web applications, there is a considerable amount of control logic on the browser side. The impact of this logic on applications’ behaviour is only fully considered if the tests are done through the user interface. Capture reply tools are used for this, but their use can become costly. Leveraging an existing model-based testing tool, we propose an approach to automate load testing done through the user interface. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  • Item
    AMAN Case Study
    ( 2023) José Creissac Campos ; 5599
    This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  • Item
    PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications
    ( 2023) João Alexandre Saraiva ; Rui António Rua ; 5597 ; 7075
    This paper presents PyAnaDroid, an open-source, fully-customizable execution pipeline designed to benchmark the performance of Android native projects and applications, with a special emphasis on benchmarking energy performance. PyAnaDroid is currently being used for developing large-scale mobile software empirical studies and for supporting an advanced academic course on program testing and analysis. The presented artifact is an expandable and reusable pipeline to automatically build, test and analyze Android applications. This tool was made openly available in order to become a reference tool to transparently conduct, share and validate empirical studies regarding Android applications. This document presents the architecture of PyAnaDroid, several use cases, and the results of a preliminary analysis that illustrates its potential.Video demo: https://youtu.be/7AV3nrh4Qc8 © 2023 IEEE.