Pablo Valle

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Test Case Selection

Related Algorithms

Provably Convergent

Top Venues

IEEE Trans. Reliab.

Publications

Aitor Arrieta, Pablo Valle, Shaukat Ali
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow. CoRR (2024)
Aitor Arrieta, Pablo Valle, Joseba Andoni Agirre, Goiuria Sagardui
Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Jon Ayerdi, Asier Iriarte, Pablo Valle, Ibai Roman, Miren Illarramendi, Aitor Arrieta
Metamorphic Runtime Monitoring of Autonomous Driving Systems. CoRR (2023)
Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. ISSRE (2023)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). ISSTA (2023)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. CoRR (2023)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). CoRR (2023)
Jon Ayerdi, Pablo Valle, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel
Performance-Driven Metamorphic Testing of Cyber-Physical Systems. IEEE Trans. Reliab. 72 (2) (2023)
Aitor Arrieta, Pablo Valle, Asier Iriarte, Miren Illarramendi
How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators. ESEM (2023)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. ICSE-SEIP (2023)
Pablo Valle, Aitor Arrieta
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough? SANER (2022)
Pablo Valle
Metamorphic Testing of Autonomous Vehicles: A Case Study on Simulink. ICSE (Companion Volume) (2021)
Masrur Sobhan, Abdullah Al Mamun, Raihanul Bari Tanvir, Mario Jacas Alfonso, Pablo Valle, Ananda Mohan Mondal
Deep Learning to Discover Genomic Signatures for Racial Disparity in Lung Cancer. BIBM (2020)