RPA Testing Using Symbolic Execution Topics: Application Software; Testing and Testability In Proceedings of the 18th International Conference on Software Technologies ICSOFT - Volume 1, 269-275, 2023 , Rome, Italy