[HTML][HTML] Vulnerability detection through machine learning-based fuzzing: A systematic review
Modern software and networks underpin our digital society, yet the rapid growth of
vulnerabilities that are uncovered within these threaten our cyber security posture …
vulnerabilities that are uncovered within these threaten our cyber security posture …
A search-based testing approach for deep reinforcement learning agents
Deep Reinforcement Learning (DRL) algorithms have been increasingly employed during
the last decade to solve various decision-making problems such as autonomous driving …
the last decade to solve various decision-making problems such as autonomous driving …
Testing of deep reinforcement learning agents with surrogate models
M Biagiola, P Tonella - ACM Transactions on Software Engineering and …, 2024 - dl.acm.org
Deep Reinforcement Learning (DRL) has received a lot of attention from the research
community in recent years. As the technology moves away from game playing to practical …
community in recent years. As the technology moves away from game playing to practical …
Smarla: A safety monitoring approach for deep reinforcement learning agents
Deep Reinforcement Learning (DRL) has made significant advancements in various fields,
such as autonomous driving, healthcare, and robotics, by enabling agents to learn optimal …
such as autonomous driving, healthcare, and robotics, by enabling agents to learn optimal …
Boundary state generation for testing and improvement of autonomous driving systems
M Biagiola, P Tonella - IEEE Transactions on Software …, 2024 - ieeexplore.ieee.org
Recent advances in Deep Neural Networks (DNNs) and sensor technologies are enabling
autonomous driving systems (ADSs) with an ever-increasing level of autonomy. However …
autonomous driving systems (ADSs) with an ever-increasing level of autonomy. However …
Probabilistic Automata-Based Method for Enhancing Performance of Deep Reinforcement Learning Systems
Deep reinforcement learning (DRL) has demonstrated significant potential in industrial
manufacturing domains such as workshop scheduling and energy system management …
manufacturing domains such as workshop scheduling and energy system management …
Differential safety testing of deep RL agents enabled by automata learning
M Tappler, BK Aichernig - International Conference on Bridging the Gap …, 2023 - Springer
Learning-enabled controllers (LECs) pose severe challenges to verification. Their decisions
often come from deep neural networks that are hard to interpret and verify, and they operate …
often come from deep neural networks that are hard to interpret and verify, and they operate …
Generative model-based testing on decision-making policies
The reliability of decision-making policies is urgently important today as they have
established the fundamentals of many critical applications, such as autonomous driving and …
established the fundamentals of many critical applications, such as autonomous driving and …
Formal Specification and Testing for Reinforcement Learning
The development process for reinforcement learning applications is still exploratory rather
than systematic. This exploratory nature reduces reuse of specifications between …
than systematic. This exploratory nature reduces reuse of specifications between …
Learning environment models with continuous stochastic dynamics-with an application to deep rl testing
Techniques like deep reinforcement learning (DRL) enable autonomous agents to solve
tasks in complex environments automatically through learning. Despite their potential …
tasks in complex environments automatically through learning. Despite their potential …