Publications by the researcher in collaboration with Pablo Valle Entrena (16)

2026

  1. FLOWREPAIR: Search-based automated program repair of CPS controllers modeled in Simulink-Stateflow

    Information and Software Technology, Vol. 192

2025

  1. ASTRAL: Automated Safety Testing of Large Language Models

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

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

    Empirical Software Engineering, Vol. 30, Núm. 4

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

    Software and Systems Modeling, Vol. 24, Núm. 3, pp. 679-704

  4. Enhancing multi-objective test case selection through the mutation operator

    Automated Software Engineering, Vol. 32, Núm. 1

  5. Replication Package of "o3-mini vs DeepSeek-R1: Which One is Safer?"

    Zenodo

2024

  1. MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems

    ACM Transactions on Software Engineering and Methodology, Vol. 34, Núm. 1, pp. 1-35

2023

  1. Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

    ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

  2. Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

    Proceedings - International Conference on Software Engineering

  3. How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators

    International Symposium on Empirical Software Engineering and Measurement

  4. Performance-Driven Metamorphic Testing of Cyber-Physical Systems

    IEEE Transactions on Reliability, Vol. 72, Núm. 2, pp. 827-845

  5. Replication package of "How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators"

    Zenodo

  6. Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE

  7. Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 1

  8. Some seeds are strong: seeding strategies for search-based test case selection

    Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023)

2022

  1. Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: Is Delta Debugging Enough?

    Proceedings - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022