Funder: Gobierno Vasco

Call: Ikertalde 2022 (Gobierno Vasco)

date_range Duration: from 01 January 2022 to 31 December 2025 (48 months) Finished
€199,000.00

Of Regional scope. With a Public character. It has been granted under a regime of Competitive.

Program: Ikertalde

Researchers

Former participants (3)

Publications related to the project

Show by type

2025

  1. ASTRAL: Automated Safety Testing of Large Language Models

    Proceedings - 2025 IEEE/ACM International Conference on Automation of Software Test, AST 2025

  2. Automated Repair of Cyber-Physical Systems

    Proceedings - International Conference on Software Engineering

  3. An industrial experience report on applying search-based boundary input generation to cyber-physical systems

    Empirical Software Engineering

  4. Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

    Software and Systems Modeling