• ASTRAL: Automated Safety Testing of Large Language Models 

      Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Parejo, Jose Antonio; Segura, Sergio; Arrieta, Aitor (IEEE, 2025)
      Large Language Models (LLMs) have recently gained significant attention due to their ability to understand and generate sophisticated human-like content. However, ensuring their safety is paramount as they might provide ...
    • Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms 

      Arrieta, Aitor; Ayerdi, Jon; Illarramendi, Miren; Sagardui, Goiuria (IEEE, 2021)
      The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...