Trustworthy Autonomous Systems Through VerifiabilityMohammad Reza Mousavi, Jim Woodcock, Effie Lai‐Chong Law et al.|Computer|2023Cited by 8
Efficient state synchronisation in model-based testing through reinforcement learningUraz Cengiz Türker, Ivan Tyukin, Robert M. Hierons et al.|2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)|2021Cited by 7
Accelerating Finite State Machine-Based Testing Using Reinforcement LearningUraz Cengiz Türker, Ivan Tyukin, Mohammad Reza Mousavi et al.|IEEE Transactions on Software Engineering|2024Cited by 3