[HTML][HTML] Vulnerability detection through machine learning-based fuzzing: A systematic review

SB Chafjiri, P Legg, J Hong, MA Tsompanas - Computers & Security, 2024 - Elsevier
Modern software and networks underpin our digital society, yet the rapid growth of
vulnerabilities that are uncovered within these threaten our cyber security posture …

A search-based testing approach for deep reinforcement learning agents

A Zolfagharian, M Abdellatif, LC Briand… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Deep Reinforcement Learning (DRL) algorithms have been increasingly employed during
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 …

Smarla: A safety monitoring approach for deep reinforcement learning agents

A Zolfagharian, M Abdellatif, LC Briand… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Deep Reinforcement Learning (DRL) has made significant advancements in various fields,
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 …

Probabilistic Automata-Based Method for Enhancing Performance of Deep Reinforcement Learning Systems

M Yang, G Liu, Z Zhou, J Wang - IEEE/CAA Journal of …, 2024 - ieeexplore.ieee.org
Deep reinforcement learning (DRL) has demonstrated significant potential in industrial
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 …

Generative model-based testing on decision-making policies

Z Li, X Wu, D Zhu, M Cheng, S Chen… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
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 …

Formal Specification and Testing for Reinforcement Learning

M Varshosaz, M Ghaffari, EB Johnsen… - Proceedings of the ACM …, 2023 - dl.acm.org
The development process for reinforcement learning applications is still exploratory rather
than systematic. This exploratory nature reduces reuse of specifications between …

Learning environment models with continuous stochastic dynamics-with an application to deep rl testing

M Tappler, E Muškardin, BK Aichernig… - … IEEE Conference on …, 2024 - ieeexplore.ieee.org
Techniques like deep reinforcement learning (DRL) enable autonomous agents to solve
tasks in complex environments automatically through learning. Despite their potential …