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

2026

  1. Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation

    Proceedings - 2026 IEEE/ACM 3rd International Conference on AI Foundation Models and Software Engineering, Forge 2026

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

    Information and Software Technology, Vol. 192

  3. Metamorphic Testing of Vision-Language Action-Enabled Robots

    Proceedings - 2026 IEEE International Conference on Software Testing, Verification and Validation, ICST 2026

  4. Replication Package of "Delta Debugging for Cyber-Physical Systems with Flaky Test Executions"

    Zenodo

  5. VISOR: A Vision-Language Model-Based Test Oracle for Testing Robots

    AIware 2026 - Proceedings of the 3rd ACM International Conference on AI-Powered Software, Co-located with FSE 2026

  6. saurabhprasun20/VLM-Oracle: Publication release for zenodo

    Zenodo

2025

  1. ASTRAL: A Tool for the Automated Safety Testing of LLMs

    Zenodo

  2. ASTRAL: Automated Safety Testing of Large Language Models

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

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

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

  4. 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

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

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

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

    Zenodo

  7. Results of Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots

    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