Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels
Fuente:
arXiv
Saved in:
| Main Authors: | Nylænder, Karoline, Arrieta, Aitor, Ali, Shaukat, Arcaini, Paolo |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)
by: Ali, Shaukat, et al.
Published: (2024)
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
by: Yousaf, Muhammad, et al.
Published: (2026)
by: Yousaf, Muhammad, et al.
Published: (2026)
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)
by: Saurabh, Prasun, et al.
Published: (2026)
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
by: Wang, Xinyi, et al.
Published: (2024)
by: Wang, Xinyi, et al.
Published: (2024)
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)
by: Arrieta, Aitor, et al.
Published: (2024)
Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)
by: Muqeet, Asmar, et al.
Published: (2026)
Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation
by: Valle, Pablo, et al.
Published: (2026)
by: Valle, Pablo, et al.
Published: (2026)
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
by: Wang, Xinyi, et al.
Published: (2025)
by: Wang, Xinyi, et al.
Published: (2025)
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
by: Wang, Xinyi, et al.
Published: (2025)
by: Wang, Xinyi, et al.
Published: (2025)
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)
by: Muqeet, Asmar, et al.
Published: (2024)
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
by: Sartaj, Hassan, et al.
Published: (2025)
by: Sartaj, Hassan, et al.
Published: (2025)
Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
Mitigating Noise in Quantum Software Testing Using Machine Learning
by: Muqeet, Asmar, et al.
Published: (2023)
by: Muqeet, Asmar, et al.
Published: (2023)
Quantum Approximate Optimization Algorithm for Test Case Optimization
by: Wang, Xinyi, et al.
Published: (2023)
by: Wang, Xinyi, et al.
Published: (2023)
A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
Quantum Circuit Mutants: Empirical Analysis and Recommendations
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2023)
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2023)
Quantum Circuit Repair by Gate Prioritisation
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2026)
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2026)
Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
by: Valle, Pablo, et al.
Published: (2025)
by: Valle, Pablo, et al.
Published: (2025)
Metamorphic Testing of Vision-Language Action-Enabled Robots
by: Valle, Pablo, et al.
Published: (2026)
by: Valle, Pablo, et al.
Published: (2026)
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)
by: Muqeet, Asmar, et al.
Published: (2024)
QMutBench: A Dataset of Quantum Circuit Mutants
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2026)
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2026)
Test Case Minimization with Quantum Annealers
by: Wang, Xinyi, et al.
Published: (2023)
by: Wang, Xinyi, et al.
Published: (2023)
Assessing Quantum Extreme Learning Machines for Software Testing in Practice
by: Muqeet, Asmar, et al.
Published: (2024)
by: Muqeet, Asmar, et al.
Published: (2024)
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
by: Wu, Jiahui, et al.
Published: (2024)
by: Wu, Jiahui, et al.
Published: (2024)
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)
by: Isaku, Erblin, et al.
Published: (2025)
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
by: Wang, Xinyi, et al.
Published: (2024)
by: Wang, Xinyi, et al.
Published: (2024)
Robust Mutation Analysis of Quantum Programs Under Noise
by: Fortz, Sophie, et al.
Published: (2026)
by: Fortz, Sophie, et al.
Published: (2026)
An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink
by: Arrieta, Aitor
Published: (2025)
by: Arrieta, Aitor
Published: (2025)
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)
by: Lu, Chengjie, et al.
Published: (2025)
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
by: Ayerdi, Jon, et al.
Published: (2023)
by: Ayerdi, Jon, et al.
Published: (2023)
Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)
by: Laaber, Christoph, et al.
Published: (2022)
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)
by: Ayerdi, Jon, et al.
Published: (2023)
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)
by: Isaku, Erblin, et al.
Published: (2026)
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
by: Hyun, Sangwon, et al.
Published: (2025)
by: Hyun, Sangwon, et al.
Published: (2025)
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)
by: Sartaj, Hassan, et al.
Published: (2023)
Envisioning Responsible Quantum Software Engineering and Quantum Artificial Intelligence
by: Bano, Muneera, et al.
Published: (2024)
by: Bano, Muneera, et al.
Published: (2024)
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
by: Openja, Moses, et al.
Published: (2025)
by: Openja, Moses, et al.
Published: (2025)
Software Testing in the Quantum World
by: Abreu, Rui, et al.
Published: (2026)
by: Abreu, Rui, et al.
Published: (2026)
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
by: Sartaj, Hassan, et al.
Published: (2024)
by: Sartaj, Hassan, et al.
Published: (2024)
Similar Items
-
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024) -
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
by: Yousaf, Muhammad, et al.
Published: (2026) -
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026) -
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
by: Wang, Xinyi, et al.
Published: (2024) -
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)