HASLab - Indexed Articles in Conferences

Permanent URI for this collection


Recent Submissions

Now showing 1 - 5 of 346
  • Item
    Schema-guided Testing of Message-oriented Systems
    ( 2022) Santos,A ; Alcino Cunha ; Nuno Moreira Macedo ; 5625 ; 5612
    Effective testing of message-oriented software requires describing the expected behaviour of the system and the causality relations between messages. This is often achieved with formal specifications based on temporal logics that require both first-order and metric temporal constructs - to specify constraints over data and real time. This paper proposes a technique to automatically generate tests for metric first-order temporal specifications that match well-understood specification patterns. Our approach takes in properties in a high-level specification language and identifies test schemas (strategies) that are likely to falsify the property. Schemas correspond to abstract classes of execution traces, that can be refined by introducing assumptions about the system. At the low level, concrete traces are successively produced for each schema using property-based testing principles. We instantiate this approach for a popular robotic middleware, ROS, and evaluate it on two systems, showing that schema-based test generation is effective for message-oriented software.
  • Item
    Extending EcoAndroid with Automated Detection of Resource Leaks
    ( 2022) Pereira,RB ; Ferreira,JF ; Alexandra Sofia Mendes ; Abreu,R ; 7344
  • Item
    Verified Password Generation from Password Composition Policies
    ( 2022) Grilo,M ; Campos,J ; Ferreira,JF ; José Bacelar Almeida ; Alexandra Sofia Mendes ; 5598 ; 7344
  • Item
    Adaptive database synchronization for an online analytical cioud-to-edge continuum
    ( 2022) Costa,D ; José Orlando Pereira ; Ricardo Pereira Vilaça ; Faria,N ; 5635 ; 5602
  • Item
    Towards Generic Fine-Grained Transaction Isolation in Polystores
    ( 2021) Nuno Filipe Faria ; José Orlando Pereira ; Ana Nunes Alonso ; Ricardo Pereira Vilaça ; 8253 ; 5692 ; 5635 ; 5602
    Transactional isolation is a challenge for polystores, as along with the limited capabilities of each datastore, we have to contend with their sheer diversity. However, transactional isolation is increasingly desirable as a variety of datastores are being sought after for roles that go beyond data lakes. Transactional guarantees are also relevant for reliability at scale. In this paper, we propose that transactional isolation in polystores can be achieved by leveraging the query engine, i.e., basing some of the responsibilities of a traditional transactional storage manager (TSM) on the query language itself. This has the key advantage of greatly simplifying design and implementation, as it doesn’t need to be re-invented for each datastore, and should increase performance, by taking advantage of dynamic query optimization where available. We demonstrate the feasibility of the proposal with a simple proof-of-concept and experiment. © 2021, Springer Nature Switzerland AG.